Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
IRTS.Portable
Contents
Description
Documentation
writePortable :: Handle -> CodegenInfo -> IO () #
Orphan instances
ToJSON RigCount # | |
ToJSON NameType # | |
ToJSON UExp # | |
ToJSON ImplicitInfo # | |
ToJSON Const # | |
ToJSON ArithTy # | |
ToJSON IntTy # | |
ToJSON Name # | |
ToJSON CaseType # | |
ToJSON MetaInformation # | |
ToJSON Totality # | |
ToJSON Accessibility # | |
ToJSON CaseInfo # | |
ToJSON CaseDefs # | |
ToJSON Def # | |
ToJSON LOpt # | |
ToJSON LDecl # | |
ToJSON LAlt # | |
ToJSON PrimFn # | |
ToJSON ExportIFace # | |
ToJSON Export # | |
ToJSON FDesc # | |
ToJSON LExp # | |
ToJSON LVar # | |
ToJSON DDecl # | |
ToJSON DAlt # | |
ToJSON DExp # | |
ToJSON SDecl # | |
ToJSON SAlt # | |
ToJSON SExp # | |
ToJSON CodegenInfo # | |
ToJSON BC # | |
ToJSON Reg # | |
ToJSON t => ToJSON (TT t) # | |
ToJSON t => ToJSON (AppStatus t) # | |
ToJSON t => ToJSON (Binder t) # | |
ToJSON t => ToJSON (CaseAlt' t) # | |
ToJSON t => ToJSON (SC' t) # | |