idris

Safe HaskellNone

IRTS.DumpBC

Documentation

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

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

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