idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

IRTS.Portable

Description

 

Documentation

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

Orphan instances

ToJSON BC Source # 
Instance details

Methods

toJSON :: BC -> Value

toEncoding :: BC -> Encoding

toJSONList :: [BC] -> Value

toEncodingList :: [BC] -> Encoding

ToJSON Reg Source # 
Instance details

Methods

toJSON :: Reg -> Value

toEncoding :: Reg -> Encoding

toJSONList :: [Reg] -> Value

toEncodingList :: [Reg] -> Encoding

ToJSON CodegenInfo Source # 
Instance details

Methods

toJSON :: CodegenInfo -> Value

toEncoding :: CodegenInfo -> Encoding

toJSONList :: [CodegenInfo] -> Value

toEncodingList :: [CodegenInfo] -> Encoding

ToJSON DAlt Source # 
Instance details

Methods

toJSON :: DAlt -> Value

toEncoding :: DAlt -> Encoding

toJSONList :: [DAlt] -> Value

toEncodingList :: [DAlt] -> Encoding

ToJSON DDecl Source # 
Instance details

Methods

toJSON :: DDecl -> Value

toEncoding :: DDecl -> Encoding

toJSONList :: [DDecl] -> Value

toEncodingList :: [DDecl] -> Encoding

ToJSON DExp Source # 
Instance details

Methods

toJSON :: DExp -> Value

toEncoding :: DExp -> Encoding

toJSONList :: [DExp] -> Value

toEncodingList :: [DExp] -> Encoding

ToJSON Export Source # 
Instance details

Methods

toJSON :: Export -> Value

toEncoding :: Export -> Encoding

toJSONList :: [Export] -> Value

toEncodingList :: [Export] -> Encoding

ToJSON ExportIFace Source # 
Instance details

Methods

toJSON :: ExportIFace -> Value

toEncoding :: ExportIFace -> Encoding

toJSONList :: [ExportIFace] -> Value

toEncodingList :: [ExportIFace] -> Encoding

ToJSON FDesc Source # 
Instance details

Methods

toJSON :: FDesc -> Value

toEncoding :: FDesc -> Encoding

toJSONList :: [FDesc] -> Value

toEncodingList :: [FDesc] -> Encoding

ToJSON LAlt Source # 
Instance details

Methods

toJSON :: LAlt -> Value

toEncoding :: LAlt -> Encoding

toJSONList :: [LAlt] -> Value

toEncodingList :: [LAlt] -> Encoding

ToJSON LDecl Source # 
Instance details

Methods

toJSON :: LDecl -> Value

toEncoding :: LDecl -> Encoding

toJSONList :: [LDecl] -> Value

toEncodingList :: [LDecl] -> Encoding

ToJSON LExp Source # 
Instance details

Methods

toJSON :: LExp -> Value

toEncoding :: LExp -> Encoding

toJSONList :: [LExp] -> Value

toEncodingList :: [LExp] -> Encoding

ToJSON LOpt Source # 
Instance details

Methods

toJSON :: LOpt -> Value

toEncoding :: LOpt -> Encoding

toJSONList :: [LOpt] -> Value

toEncodingList :: [LOpt] -> Encoding

ToJSON LVar Source # 
Instance details

Methods

toJSON :: LVar -> Value

toEncoding :: LVar -> Encoding

toJSONList :: [LVar] -> Value

toEncodingList :: [LVar] -> Encoding

ToJSON PrimFn Source # 
Instance details

Methods

toJSON :: PrimFn -> Value

toEncoding :: PrimFn -> Encoding

toJSONList :: [PrimFn] -> Value

toEncodingList :: [PrimFn] -> Encoding

ToJSON SAlt Source # 
Instance details

Methods

toJSON :: SAlt -> Value

toEncoding :: SAlt -> Encoding

toJSONList :: [SAlt] -> Value

toEncodingList :: [SAlt] -> Encoding

ToJSON SDecl Source # 
Instance details

Methods

toJSON :: SDecl -> Value

toEncoding :: SDecl -> Encoding

toJSONList :: [SDecl] -> Value

toEncodingList :: [SDecl] -> Encoding

ToJSON SExp Source # 
Instance details

Methods

toJSON :: SExp -> Value

toEncoding :: SExp -> Encoding

toJSONList :: [SExp] -> Value

toEncodingList :: [SExp] -> Encoding

ToJSON CaseType Source # 
Instance details

Methods

toJSON :: CaseType -> Value

toEncoding :: CaseType -> Encoding

toJSONList :: [CaseType] -> Value

toEncodingList :: [CaseType] -> Encoding

ToJSON Accessibility Source # 
Instance details

Methods

toJSON :: Accessibility -> Value

toEncoding :: Accessibility -> Encoding

toJSONList :: [Accessibility] -> Value

toEncodingList :: [Accessibility] -> Encoding

ToJSON CaseDefs Source # 
Instance details

Methods

toJSON :: CaseDefs -> Value

toEncoding :: CaseDefs -> Encoding

toJSONList :: [CaseDefs] -> Value

toEncodingList :: [CaseDefs] -> Encoding

ToJSON CaseInfo Source # 
Instance details

Methods

toJSON :: CaseInfo -> Value

toEncoding :: CaseInfo -> Encoding

toJSONList :: [CaseInfo] -> Value

toEncodingList :: [CaseInfo] -> Encoding

ToJSON Def Source # 
Instance details

Methods

toJSON :: Def -> Value

toEncoding :: Def -> Encoding

toJSONList :: [Def] -> Value

toEncodingList :: [Def] -> Encoding

ToJSON MetaInformation Source # 
Instance details

Methods

toJSON :: MetaInformation -> Value

toEncoding :: MetaInformation -> Encoding

toJSONList :: [MetaInformation] -> Value

toEncodingList :: [MetaInformation] -> Encoding

ToJSON Totality Source # 
Instance details

Methods

toJSON :: Totality -> Value

toEncoding :: Totality -> Encoding

toJSONList :: [Totality] -> Value

toEncodingList :: [Totality] -> Encoding

ToJSON ArithTy Source # 
Instance details

Methods

toJSON :: ArithTy -> Value

toEncoding :: ArithTy -> Encoding

toJSONList :: [ArithTy] -> Value

toEncodingList :: [ArithTy] -> Encoding

ToJSON Const Source # 
Instance details

Methods

toJSON :: Const -> Value

toEncoding :: Const -> Encoding

toJSONList :: [Const] -> Value

toEncodingList :: [Const] -> Encoding

ToJSON ImplicitInfo Source # 
Instance details

Methods

toJSON :: ImplicitInfo -> Value

toEncoding :: ImplicitInfo -> Encoding

toJSONList :: [ImplicitInfo] -> Value

toEncodingList :: [ImplicitInfo] -> Encoding

ToJSON IntTy Source # 
Instance details

Methods

toJSON :: IntTy -> Value

toEncoding :: IntTy -> Encoding

toJSONList :: [IntTy] -> Value

toEncodingList :: [IntTy] -> Encoding

ToJSON Name Source # 
Instance details

Methods

toJSON :: Name -> Value

toEncoding :: Name -> Encoding

toJSONList :: [Name] -> Value

toEncodingList :: [Name] -> Encoding

ToJSON NameType Source # 
Instance details

Methods

toJSON :: NameType -> Value

toEncoding :: NameType -> Encoding

toJSONList :: [NameType] -> Value

toEncodingList :: [NameType] -> Encoding

ToJSON RigCount Source # 
Instance details

Methods

toJSON :: RigCount -> Value

toEncoding :: RigCount -> Encoding

toJSONList :: [RigCount] -> Value

toEncodingList :: [RigCount] -> Encoding

ToJSON UExp Source # 
Instance details

Methods

toJSON :: UExp -> Value

toEncoding :: UExp -> Encoding

toJSONList :: [UExp] -> Value

toEncodingList :: [UExp] -> Encoding

ToJSON t => ToJSON (CaseAlt' t) Source # 
Instance details

Methods

toJSON :: CaseAlt' t -> Value

toEncoding :: CaseAlt' t -> Encoding

toJSONList :: [CaseAlt' t] -> Value

toEncodingList :: [CaseAlt' t] -> Encoding

ToJSON t => ToJSON (SC' t) Source # 
Instance details

Methods

toJSON :: SC' t -> Value

toEncoding :: SC' t -> Encoding

toJSONList :: [SC' t] -> Value

toEncodingList :: [SC' t] -> Encoding

ToJSON t => ToJSON (AppStatus t) Source # 
Instance details

Methods

toJSON :: AppStatus t -> Value

toEncoding :: AppStatus t -> Encoding

toJSONList :: [AppStatus t] -> Value

toEncodingList :: [AppStatus t] -> Encoding

ToJSON t => ToJSON (Binder t) Source # 
Instance details

Methods

toJSON :: Binder t -> Value

toEncoding :: Binder t -> Encoding

toJSONList :: [Binder t] -> Value

toEncodingList :: [Binder t] -> Encoding

ToJSON t => ToJSON (TT t) Source # 
Instance details

Methods

toJSON :: TT t -> Value

toEncoding :: TT t -> Encoding

toJSONList :: [TT t] -> Value

toEncodingList :: [TT t] -> Encoding