idris-1.0: Functional Programming Language with Dependent Types
IRTS.Inliner
Description
inline :: DDefs -> DDefs #
inl :: DDefs -> (Name, DDecl) -> (Name, DDecl) #
evalD :: t -> a -> Maybe a #