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: 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