Idris.ElabDecls
Description
elabDecl :: ElabWhat -> ElabInfo -> PDecl -> Idris () #
elabDecl' :: ElabWhat -> ElabInfo -> PDecl -> StateT IState (ExceptT Err IO) () #
elabDecls :: ElabInfo -> [PDecl] -> Idris () #
elabMain :: Idris Term #
Return the elaborated term which calls main
main
elabPrims :: Idris () #
Elaborate primitives
recinfo :: FC -> ElabInfo #
Top level elaborator info, supporting recursive elaboration