Hoogle Search

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

module IHaskellPrelude

No documentation available.
preludeName :: Symbol

liquid-fixpoint Language.Fixpoint.Types.Names

No documentation available.
module Internal.Prelude

No documentation available.
module Internal.Prelude

No documentation available.
noPreludeREOptions :: REOptions

regex Text.RE.TDFA

the default REOptions but with no RE macros defined
prelude :: Macros RE

regex Text.RE.TDFA

the standard table of Macros used to compile REs (which can be extended or replace: see Text.RE.TestBench)
preludeEnv :: MacroEnv

regex Text.RE.TDFA

the standard MacroEnv for this back end (see Text.RE.TestBench)
preludeSource :: PreludeMacro -> String

regex Text.RE.TDFA

the prelude source of a given macro in the standard environment
preludeSources :: String

regex Text.RE.TDFA

a listing of the RE text for each macro in the standard environment with all macros expanded to normal form
preludeSummary :: PreludeMacro -> String

regex Text.RE.TDFA

a summary of the macros in the standard environment for this back end in plain text

liquid-fixpoint	Language.Fixpoint.Types.Names

regex	Text.RE.TDFA

regex	Text.RE.TDFA

regex	Text.RE.TDFA

regex	Text.RE.TDFA

regex	Text.RE.TDFA

regex	Text.RE.TDFA

Page 9 of many | Previous | Next