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