idris

Safe HaskellNone

Idris.IBC

Documentation

pImps :: [(Name, [PArg])] -> Idris ()Source

pStatics :: [(Name, [Bool])] -> Idris ()Source

pDSLs :: [(Name, DSL)] -> Idris ()Source

pDefs :: [(Name, Def)] -> Idris ()Source

pFlags :: [(Name, [FnOpt])] -> Idris ()Source

pCG :: [(Name, CGInfo)] -> Idris ()Source

pTrans :: [(Term, Term)] -> Idris ()Source