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

IRTS.Portable

Contents

Orphan instances

Description

Documentation

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

Orphan instances

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