idris-1.0: Functional Programming Language with Dependent Types

Copyright | License : BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell98

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 #