idris-0.9.15: Functional Programming Language with Dependent Types

Safe Haskell	None

IRTS.Inliner

Documentation

inline :: DDefs -> DDefs Source

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

evalD :: t -> a -> Maybe aSource