idris-1.3.4: Functional Programming Language with Dependent Types

License | BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell2010

IRTS.DumpBC

Description

# Documentation

interMap :: [a] -> [b] -> (a -> [b]) -> [b] #

indent :: Int -> String #

serializeReg :: Reg -> String #

serializeCase :: Show a => Int -> (a, [BC]) -> String #

serializeDefault :: Int -> [BC] -> String #

serializeBC :: Int -> BC -> String #

serialize :: [(Name, [BC])] -> String #

dumpBC :: [(Name, SDecl)] -> String -> IO () #