Safe Haskell | None |
---|---|
Language | Haskell98 |
Source Tetra conversion to Disciple Core Tetra language.
- type ConvertM a x = Either (ErrorConvert a) x
- data ErrorConvert a
- coreOfSourceModule :: SP -> Module (Annot SP) -> Either (ErrorConvert SP) (Module SP Name)
- runConvertM :: ConvertM a x -> Either (ErrorConvert a) x
Documentation
type ConvertM a x = Either (ErrorConvert a) x Source
data ErrorConvert a Source
ErrorConvertCannotConvertSugarExp (Exp a) | Cannot convert sugar expression to core. |
ErrorConvertCannotConvertSugarLets (Lets a) | Cannot convert sugar let bindings to core. |
Pretty a => Pretty (ErrorConvert a) Source |
coreOfSourceModule :: SP -> Module (Annot SP) -> Either (ErrorConvert SP) (Module SP Name) Source
Convert a Source Tetra module to Core Tetra.
runConvertM :: ConvertM a x -> Either (ErrorConvert a) x Source
Run a conversion computation.