Safe Haskell | None |
---|---|
Language | Haskell98 |
- module DDC.Core.Exp.Generic.Exp
- class FromAnnot c1 c2 | c1 -> c2 where
- fromAnnot :: c1 -> Either ErrorFromAnnot c2
- data ErrorFromAnnot
- type Annot = GAnnot Name
- type Bind = GBind Name
- type Bound = GBound Name
- type Prim = GPrim Name
- type Exp = GExp Name
- type Abs = GAbs Name
- type Arg = GArg Name
- type Lets = GLets Name
- type Alt = GAlt Name
- type Pat = GPat Name
- type Cast = GCast Name
- type Witness = GWitness Name
- type WiCon = GWiCon Name
- type Type = Type Name
Documentation
module DDC.Core.Exp.Generic.Exp
class FromAnnot c1 c2 | c1 -> c2 where Source
Convert annotated version of the Core language to the Salt fragment.
fromAnnot :: c1 -> Either ErrorFromAnnot c2 Source
FromAnnot (Pat Name) Pat Source | |
FromAnnot (WiCon Name) WiCon Source | |
FromAnnot (DaCon Name) (DaCon Name) Source | |
FromAnnot (Bind Name) (Bind Name) Source | |
FromAnnot (Bound Name) (Bound Name) Source | |
FromAnnot (Type Name) (Type Name) Source | |
FromAnnot (Exp a Name) Exp Source | |
FromAnnot (Lets a Name) Lets Source | |
FromAnnot (Alt a Name) Alt Source | |
FromAnnot (Cast a Name) Cast Source | |
FromAnnot (Witness a Name) Witness Source |
data ErrorFromAnnot Source
Things that can go wrong when converting Salt code.
ErrorFromAnnotFoundNakedType | Found a type that isn't part of a function application. |
ErrorFromAnnotFoundNakedWitness | Found a witness that isn't part of a function application. |