Idris.ElabDecls

Documentation

recinfo :: ElabInfo

elabMain :: Idris Term

Return the elaborated term which calls main

elabPrims :: Idris ()

Elaborate primitives

elabTransform :: ElabInfo -> FC -> Bool -> PTerm -> PTerm -> Idris ()

elabDecls :: ElabInfo -> [PDecl] -> Idris ()

elabDecl :: ElabWhat -> ElabInfo -> PDecl -> Idris ()

elabDecl' :: ElabWhat -> ElabInfo -> PDecl' PTerm -> StateT IState (ErrorT Err IO) ()