idris

Safe HaskellNone

IRTS.Simplified

Documentation

data SDecl Source

Constructors

SFun Name [Name] Int SExp 

Instances

mkapp :: Monad m => ([LVar] -> SExp) -> [(LVar, Maybe SExp)] -> m SExpSource

mkfapp :: Monad m => ([(t, LVar)] -> SExp) -> [(t, (LVar, Maybe SExp))] -> m SExpSource

lvar :: (Ord s, MonadState s m) => s -> m ()Source