Safe Haskell | None |
---|
Documentation
DConCase Int Name [Name] DExp | |
DConstCase Const DExp | |
DDefaultCase DExp |
defunctionalise :: Int -> LDefs -> DDefsSource
mkUnderCon :: Name -> Int -> NameSource
dumpDefuns :: DDefs -> StringSource
module IRTS.Lang
Safe Haskell | None |
---|
DConCase Int Name [Name] DExp | |
DConstCase Const DExp | |
DDefaultCase DExp |
defunctionalise :: Int -> LDefs -> DDefsSource
mkUnderCon :: Name -> Int -> NameSource
dumpDefuns :: DDefs -> StringSource
module IRTS.Lang