IRTS.Portable

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