License	BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

IRTS.Portable

Contents

Orphan instances

Description

Documentation

writePortable :: Handle -> CodegenInfo -> IO () #

Orphan instances

ToJSON RigCount #
Methods toJSON :: RigCount -> Value # toEncoding :: RigCount -> Encoding # toJSONList :: [RigCount] -> Value # toEncodingList :: [RigCount] -> Encoding #
ToJSON NameType #
Methods toJSON :: NameType -> Value # toEncoding :: NameType -> Encoding # toJSONList :: [NameType] -> Value # toEncodingList :: [NameType] -> Encoding #
ToJSON UExp #
Methods toJSON :: UExp -> Value # toEncoding :: UExp -> Encoding # toJSONList :: [UExp] -> Value # toEncodingList :: [UExp] -> Encoding #
ToJSON ImplicitInfo #
Methods toJSON :: ImplicitInfo -> Value # toEncoding :: ImplicitInfo -> Encoding # toJSONList :: [ImplicitInfo] -> Value # toEncodingList :: [ImplicitInfo] -> Encoding #
ToJSON Const #
Methods toJSON :: Const -> Value # toEncoding :: Const -> Encoding # toJSONList :: [Const] -> Value # toEncodingList :: [Const] -> Encoding #
ToJSON ArithTy #
Methods toJSON :: ArithTy -> Value # toEncoding :: ArithTy -> Encoding # toJSONList :: [ArithTy] -> Value # toEncodingList :: [ArithTy] -> Encoding #
ToJSON IntTy #
Methods toJSON :: IntTy -> Value # toEncoding :: IntTy -> Encoding # toJSONList :: [IntTy] -> Value # toEncodingList :: [IntTy] -> Encoding #
ToJSON Name #
Methods toJSON :: Name -> Value # toEncoding :: Name -> Encoding # toJSONList :: [Name] -> Value # toEncodingList :: [Name] -> Encoding #
ToJSON CaseType #
Methods toJSON :: CaseType -> Value # toEncoding :: CaseType -> Encoding # toJSONList :: [CaseType] -> Value # toEncodingList :: [CaseType] -> Encoding #
ToJSON MetaInformation #
Methods toJSON :: MetaInformation -> Value # toEncoding :: MetaInformation -> Encoding # toJSONList :: [MetaInformation] -> Value # toEncodingList :: [MetaInformation] -> Encoding #
ToJSON Totality #
Methods toJSON :: Totality -> Value # toEncoding :: Totality -> Encoding # toJSONList :: [Totality] -> Value # toEncodingList :: [Totality] -> Encoding #
ToJSON Accessibility #
Methods toJSON :: Accessibility -> Value # toEncoding :: Accessibility -> Encoding # toJSONList :: [Accessibility] -> Value # toEncodingList :: [Accessibility] -> Encoding #
ToJSON CaseInfo #
Methods toJSON :: CaseInfo -> Value # toEncoding :: CaseInfo -> Encoding # toJSONList :: [CaseInfo] -> Value # toEncodingList :: [CaseInfo] -> Encoding #
ToJSON CaseDefs #
Methods toJSON :: CaseDefs -> Value # toEncoding :: CaseDefs -> Encoding # toJSONList :: [CaseDefs] -> Value # toEncodingList :: [CaseDefs] -> Encoding #
ToJSON Def #
Methods toJSON :: Def -> Value # toEncoding :: Def -> Encoding # toJSONList :: [Def] -> Value # toEncodingList :: [Def] -> Encoding #
ToJSON LOpt #
Methods toJSON :: LOpt -> Value # toEncoding :: LOpt -> Encoding # toJSONList :: [LOpt] -> Value # toEncodingList :: [LOpt] -> Encoding #
ToJSON LDecl #
Methods toJSON :: LDecl -> Value # toEncoding :: LDecl -> Encoding # toJSONList :: [LDecl] -> Value # toEncodingList :: [LDecl] -> Encoding #
ToJSON LAlt #
Methods toJSON :: LAlt -> Value # toEncoding :: LAlt -> Encoding # toJSONList :: [LAlt] -> Value # toEncodingList :: [LAlt] -> Encoding #
ToJSON PrimFn #
Methods toJSON :: PrimFn -> Value # toEncoding :: PrimFn -> Encoding # toJSONList :: [PrimFn] -> Value # toEncodingList :: [PrimFn] -> Encoding #
ToJSON ExportIFace #
Methods toJSON :: ExportIFace -> Value # toEncoding :: ExportIFace -> Encoding # toJSONList :: [ExportIFace] -> Value # toEncodingList :: [ExportIFace] -> Encoding #
ToJSON Export #
Methods toJSON :: Export -> Value # toEncoding :: Export -> Encoding # toJSONList :: [Export] -> Value # toEncodingList :: [Export] -> Encoding #
ToJSON FDesc #
Methods toJSON :: FDesc -> Value # toEncoding :: FDesc -> Encoding # toJSONList :: [FDesc] -> Value # toEncodingList :: [FDesc] -> Encoding #
ToJSON LExp #
Methods toJSON :: LExp -> Value # toEncoding :: LExp -> Encoding # toJSONList :: [LExp] -> Value # toEncodingList :: [LExp] -> Encoding #
ToJSON LVar #
Methods toJSON :: LVar -> Value # toEncoding :: LVar -> Encoding # toJSONList :: [LVar] -> Value # toEncodingList :: [LVar] -> Encoding #
ToJSON DDecl #
Methods toJSON :: DDecl -> Value # toEncoding :: DDecl -> Encoding # toJSONList :: [DDecl] -> Value # toEncodingList :: [DDecl] -> Encoding #
ToJSON DAlt #
Methods toJSON :: DAlt -> Value # toEncoding :: DAlt -> Encoding # toJSONList :: [DAlt] -> Value # toEncodingList :: [DAlt] -> Encoding #
ToJSON DExp #
Methods toJSON :: DExp -> Value # toEncoding :: DExp -> Encoding # toJSONList :: [DExp] -> Value # toEncodingList :: [DExp] -> Encoding #
ToJSON SDecl #
Methods toJSON :: SDecl -> Value # toEncoding :: SDecl -> Encoding # toJSONList :: [SDecl] -> Value # toEncodingList :: [SDecl] -> Encoding #
ToJSON SAlt #
Methods toJSON :: SAlt -> Value # toEncoding :: SAlt -> Encoding # toJSONList :: [SAlt] -> Value # toEncodingList :: [SAlt] -> Encoding #
ToJSON SExp #
Methods toJSON :: SExp -> Value # toEncoding :: SExp -> Encoding # toJSONList :: [SExp] -> Value # toEncodingList :: [SExp] -> Encoding #
ToJSON CodegenInfo #
Methods toJSON :: CodegenInfo -> Value # toEncoding :: CodegenInfo -> Encoding # toJSONList :: [CodegenInfo] -> Value # toEncodingList :: [CodegenInfo] -> Encoding #
ToJSON BC #
Methods toJSON :: BC -> Value # toEncoding :: BC -> Encoding # toJSONList :: [BC] -> Value # toEncodingList :: [BC] -> Encoding #
ToJSON Reg #
Methods toJSON :: Reg -> Value # toEncoding :: Reg -> Encoding # toJSONList :: [Reg] -> Value # toEncodingList :: [Reg] -> Encoding #
ToJSON t => ToJSON (TT t) #
Methods toJSON :: TT t -> Value # toEncoding :: TT t -> Encoding # toJSONList :: [TT t] -> Value # toEncodingList :: [TT t] -> Encoding #
ToJSON t => ToJSON (AppStatus t) #
Methods toJSON :: AppStatus t -> Value # toEncoding :: AppStatus t -> Encoding # toJSONList :: [AppStatus t] -> Value # toEncodingList :: [AppStatus t] -> Encoding #
ToJSON t => ToJSON (Binder t) #
Methods toJSON :: Binder t -> Value # toEncoding :: Binder t -> Encoding # toJSONList :: [Binder t] -> Value # toEncodingList :: [Binder t] -> Encoding #
ToJSON t => ToJSON (CaseAlt' t) #
Methods toJSON :: CaseAlt' t -> Value # toEncoding :: CaseAlt' t -> Encoding # toJSONList :: [CaseAlt' t] -> Value # toEncodingList :: [CaseAlt' t] -> Encoding #
ToJSON t => ToJSON (SC' t) #
Methods toJSON :: SC' t -> Value # toEncoding :: SC' t -> Encoding # toJSONList :: [SC' t] -> Value # toEncodingList :: [SC' t] -> Encoding #