Safe Haskell | None |
---|---|
Language | Haskell2010 |
LambdaCube.Compiler.Core
Documentation
data TyCaseFunName Source #
Constructors
TyCaseFunName FName Type |
pattern TyCaseFun_ :: TyCaseFunName -> [Exp] -> Neutral -> Neutral Source #
pattern TConstraint :: Exp Source #
mkOrdering :: Ordering -> Exp Source #
conTypeName :: ConName -> TyConName Source #
outputType :: Exp Source #
Minimal complete definition
evalCaseFun :: FreeVars -> CaseFunName -> [Exp] -> Exp -> Exp Source #
evalCaseFun' :: CaseFunName -> [Exp] -> Exp -> Exp Source #
evalTyCaseFun :: TyCaseFunName -> [Exp] -> Exp -> Exp Source #
evalTyCaseFun_ :: FreeVars -> TyCaseFunName -> [Exp] -> Exp -> Exp Source #