IRTS.Portable

idris-1.3.4: Functional Programming Language with Dependent Types

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