idris

Safe HaskellNone

IRTS.Simplified

Documentation

data SExp Source

Constructors

SV LVar 
SApp Bool Name [LVar] 
SLet LVar SExp SExp 
SUpdate LVar SExp 
SCon Int Name [LVar] 
SCase LVar [SAlt] 
SChkCase LVar [SAlt] 
SProj LVar Int 
SConst Const 
SForeign FLang FType String [(FType, LVar)] 
SOp PrimFn [LVar] 
SNothing 
SError String 

Instances

data SAlt Source

Constructors

SConCase Int Int Name [Name] SExp 
SConstCase Const SExp 
SDefaultCase SExp 

Instances

data SDecl Source

Constructors

SFun Name [Name] Int SExp 

Instances

hvar :: State (DDefs, Int) IntSource

ldefs :: State (DDefs, Int) DDefsSource

simplify :: Bool -> DExp -> State (DDefs, Int) SExpSource

sVar :: DExp -> StateT (DDefs, Int) Identity (LVar, Maybe SExp)Source

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

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

sAlt :: Bool -> DAlt -> StateT (DDefs, Int) Identity SAltSource

checkDefs :: DDefs -> [(Name, DDecl)] -> TC [(Name, SDecl)]Source

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

scopecheck :: DDefs -> [(Name, Int)] -> SExp -> StateT Int TC SExpSource