| Safe Haskell | None |
|---|
IRTS.DumpBC
Documentation
serializeReg :: Reg -> StringSource
serializeCase :: Show a => Int -> (a, [BC]) -> StringSource
serializeDefault :: Int -> [BC] -> StringSource
serializeBC :: Int -> BC -> StringSource
idris-0.9.15.1: Functional Programming Language with Dependent Types
| Safe Haskell | None |
|---|
IRTS.DumpBC
serializeReg :: Reg -> StringSource
serializeCase :: Show a => Int -> (a, [BC]) -> StringSource
serializeDefault :: Int -> [BC] -> StringSource
serializeBC :: Int -> BC -> StringSource