idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.DumpBC

Description

 

Documentation

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

indent :: Int -> String Source #

serializeReg :: Reg -> String Source #

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

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

serializeBC :: Int -> BC -> String Source #

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

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