DDC.Build.Language.Zero

The Zero fragment has no features and no primops. It it provides the first order calculus, and is good for debugging.

Documentation

language :: Language

Language definitition for Disciple Core Zero.

bundle :: Bundle Int Name Error

Language bundle for Disciple Core Zero

fragment :: Fragment Name Error

Fragment definition for Disciple Core Eval.

data Name

Instances

Eq Name

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Ord Name

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Pretty Name

Associated Types

data PrettyMode Name :: *

Methods

pprDefaultMode :: PrettyMode Name

ppr :: Name -> Doc

pprPrec :: Int -> Name -> Doc

pprModePrec :: PrettyMode Name -> Int -> Name -> Doc

CompoundName Name

Methods

extendName :: Name -> String -> Name

newVarName :: String -> Name

splitName :: Name -> Maybe (Name, String)

NFData Name

Methods

rnf :: Name -> ()

data Error a

Instances

Show (Error a)

Methods

showsPrec :: Int -> Error a -> ShowS

show :: Error a -> String

showList :: [Error a] -> ShowS

Pretty (Error a)

Associated Types

data PrettyMode (Error a) :: *

Methods

pprDefaultMode :: PrettyMode (Error a)

ppr :: Error a -> Doc

pprPrec :: Int -> Error a -> Doc

pprModePrec :: PrettyMode (Error a) -> Int -> Error a -> Doc