idris-0.9.17.1: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.Defunctionalise

Documentation

data DDecl Source

Instances

getFn :: [(Name, LDecl)] -> [(Name, Int)] Source

addApps :: LDefs -> (Name, LDecl) -> State ([Name], [(Name, Int)]) (Name, DDecl) Source

data EvalApply a Source

Constructors

EvalCase (Name -> a) 
ApplyCase a 

toConsA :: [(Name, Int)] -> (Name, Int) -> [(Name, Int, EvalApply DAlt)] Source

mkFnCon :: Show a => a -> Name Source

mkBigCase :: t -> Int -> DExp -> [DAlt] -> DExp Source

groupsOf :: Int -> [DAlt] -> [[DAlt]] Source

module IRTS.Lang