idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.Portable

Contents

Description

 

Documentation

Orphan instances

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

Methods

toJSON :: SC' t -> Value #

toEncoding :: SC' t -> Encoding #

toJSONList :: [SC' t] -> Value #

toEncodingList :: [SC' t] -> Encoding #