| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Source.Tetra.Convert
Description
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
Constructors
| ErrorConvertCannotConvertSugarExp (Exp a) | Cannot convert sugar expression to core. |
| ErrorConvertCannotConvertSugarLets (Lets a) | Cannot convert sugar let bindings to core. |
Instances
| 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.