idris-0.9.20: Functional Programming Language with Dependent Types

Safe Haskell	None
Language	Haskell98

IRTS.Inliner

Documentation

inline :: DDefs -> DDefs Source

inl :: DDefs -> (Name, DDecl) -> (Name, DDecl) Source

evalD :: t -> a -> Maybe a Source