idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe Haskell	None

IRTS.DumpBC

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