Safe Haskell	None
Language	Haskell98

DDC.Build.Language.Zero

Description

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

Synopsis

Documentation

Language definitition for Disciple Core Zero.

Language bundle for Disciple Core Zero

Fragment definition for Disciple Core Eval.

Instances

Eq Name Source #
Methods (==) :: Name -> Name -> Bool # (/=) :: Name -> Name -> Bool #
Ord Name Source #
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 Source #
Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #
Pretty Name Source #
Associated Types data PrettyMode Name :: * # Methods pprDefaultMode :: PrettyMode Name # ppr :: Name -> Doc # pprPrec :: Int -> Name -> Doc # pprModePrec :: PrettyMode Name -> Int -> Name -> Doc #
CompoundName Name Source #
Methods extendName :: Name -> String -> Name # newVarName :: String -> Name # splitName :: Name -> Maybe (Name, String) #
NFData Name Source #
Methods rnf :: Name -> () #

Instances

Show (Error a) Source #
Methods showsPrec :: Int -> Error a -> ShowS # show :: Error a -> String # showList :: [Error a] -> ShowS #
Pretty (Error a) Source #
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 #