Documentation

type Translate = StateT TState (ReaderT TContext (ExceptT TraceError IO)) Source #

data TState Source #

initSt :: TState Source #

data TContext Source #

initCxt :: TContext Source #

runTranslate :: Translate a -> IO (Either TraceError a) Source #

translateModule :: [EDeclaration] -> Translate Module Source #

translateDecls :: [EDeclaration] -> Translate [Decl] Source #

translateDecl :: EDeclaration -> Translate [Decl] Source #

translateFuns :: [Fun] -> Translate [Decl] Source #

translateFun :: Fun -> Translate [Decl] Source #

translateLet :: Name -> Type -> FExpr -> Translate [Decl] Source #

translateTypeSig :: TypeSig -> Translate Decl Source #

translateDataDecl :: Name -> FTelescope -> FKind -> [FConstructor] -> Translate [Decl] Source #

translateConstructor :: FConstructor -> Translate GadtDecl Source #

translateClause :: Name -> Clause -> Translate [Match] Source #

translateTelescope :: FTelescope -> Translate [TyVarBind] Source #

translateTBind :: TBind -> Translate TyVarBind Source #

translateKind :: FKind -> Kind Source #

translateType :: FType -> Translate Type Source #

translateExpr :: FExpr -> Translate Exp Source #

translatePattern :: Pattern -> Translate Pat Source #

hsVarName :: Name -> Translate Name Source #

hsName :: DefId -> Translate Name Source #

getDataName :: Name -> Translate String Source #