LambdaCube.Compiler.Statements

Documentation

data PreStmt

Constructors

Stmt Stmt

TypeAnn SIName SExp

TypeFamily SIName SExp

FunAlt SIName [(Visibility, SExp)] GuardTrees

Class SIName [SExp] [(SIName, SExp)]

Instance SIName [ParPat] [SExp] [Stmt]

Instances

PShow PreStmt

Methods

pShow :: PreStmt -> Doc

DeBruijnify SIName PreStmt

Methods

deBruijnify_ :: Int -> [SIName] -> PreStmt -> PreStmt

mkLets :: [Stmt] -> SExp -> SExp

mkLets_ :: DeBruijnify SIName t => (SIName -> SExp -> t -> t) -> [Stmt] -> t -> t

mkLets' :: DeBruijnify SIName t => (SIName -> SExp -> t -> t) -> [Stmt] -> t -> t

type DefinedSet = Set SName

addForalls :: DefinedSet -> SExp -> SExp

compileStmt' :: MonadWriter [ParseCheck] m => [PreStmt] -> m [Stmt]

compileStmt'_ :: MonadWriter [ParseCheck] m => (SIName -> SExp' Void -> SExp' Void) -> (SExp' Void -> SExp' Void) -> (SExp' Void -> SExp' Void) -> [PreStmt] -> m [Stmt]

compileStmt :: MonadWriter [ParseCheck] m => (SIName -> SExp' Void -> SExp' Void) -> (SIName -> [(Visibility, SExp)] -> [GuardTrees] -> m SExp) -> [PreStmt] -> [PreStmt] -> m [Stmt]

funAlt :: SIName -> [((Visibility, SExp), ParPat)] -> GuardTrees -> PreStmt

funAlt' :: SIName -> [(Visibility, SExp)] -> [ParPat] -> GuardTrees -> PreStmt

desugarValueDef :: MonadWriter [ParseCheck] m => ParPat -> SExp -> m [PreStmt]

getLet :: Stmt -> Maybe (SIName, SExp)

fst' :: (t1, t) -> t1

desugarMutual :: [Stmt] -> [Stmt]

addFix :: SIName -> SExp -> SExp' Void

mangleNames :: [SIName] -> SIName

data StmtNode

Constructors

StmtNode

Fields

• snId :: !Int
• snValue :: Stmt
• snChildren :: [StmtNode]
• snRevChildren :: [StmtNode]

sortDefs :: [Stmt] -> [[Stmt]]