DDC.Core.Salt.Exp

Documentation

module DDC.Core.Exp.Generic

class FromAnnot c1 c2 | c1 -> c2 where

Convert annotated version of the Core language to the Salt fragment.

Minimal complete definition

fromAnnot

Methods

fromAnnot :: c1 -> Either ErrorFromAnnot c2

Instances

FromAnnot (Pat Name) Pat

Methods

fromAnnot :: Pat Name -> Either ErrorFromAnnot Pat

FromAnnot (WiCon Name) WiCon

Methods

fromAnnot :: WiCon Name -> Either ErrorFromAnnot WiCon

FromAnnot (Bind Name) (Bind Name)

Methods

fromAnnot :: Bind Name -> Either ErrorFromAnnot (Bind Name)

FromAnnot (Bound Name) (Bound Name)

Methods

fromAnnot :: Bound Name -> Either ErrorFromAnnot (Bound Name)

FromAnnot (Type Name) (Type Name)

Methods

fromAnnot :: Type Name -> Either ErrorFromAnnot (Type Name)

FromAnnot (Exp a Name) Exp

Methods

fromAnnot :: Exp a Name -> Either ErrorFromAnnot Exp

FromAnnot (Lets a Name) Lets

Methods

fromAnnot :: Lets a Name -> Either ErrorFromAnnot Lets

FromAnnot (Alt a Name) Alt

Methods

fromAnnot :: Alt a Name -> Either ErrorFromAnnot Alt

FromAnnot (Cast a Name) Cast

Methods

fromAnnot :: Cast a Name -> Either ErrorFromAnnot Cast

FromAnnot (Witness a Name) Witness

Methods

fromAnnot :: Witness a Name -> Either ErrorFromAnnot Witness

FromAnnot (DaCon Name (Type Name)) (DaCon Name (Type Name))

Methods

fromAnnot :: DaCon Name (Type Name) -> Either ErrorFromAnnot (DaCon Name (Type Name))

data ErrorFromAnnot

Things that can go wrong when converting Salt code.

Constructors

ErrorFromAnnotFoundNakedType

Found a type that isn't part of a function application.

ErrorFromAnnotFoundNakedWitness

Found a witness that isn't part of a function application.

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