idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.Portable

Contents

Description

 

Documentation

Orphan instances

ToJSON RigCount Source # 
ToJSON NameType Source # 
ToJSON UExp Source # 
ToJSON ImplicitInfo Source # 
ToJSON Const Source # 
ToJSON ArithTy Source # 
ToJSON IntTy Source # 
ToJSON Name Source # 
ToJSON CaseType Source # 
ToJSON MetaInformation Source # 
ToJSON Totality Source # 
ToJSON Accessibility Source # 
ToJSON CaseInfo Source # 
ToJSON CaseDefs Source # 
ToJSON Def Source # 
ToJSON LOpt Source # 
ToJSON LDecl Source # 
ToJSON LAlt Source # 
ToJSON PrimFn Source # 
ToJSON ExportIFace Source # 
ToJSON Export Source # 
ToJSON FDesc Source # 
ToJSON LExp Source # 
ToJSON LVar Source # 
ToJSON DDecl Source # 
ToJSON DAlt Source # 
ToJSON DExp Source # 
ToJSON SDecl Source # 
ToJSON SAlt Source # 
ToJSON SExp Source # 
ToJSON CodegenInfo Source # 
ToJSON BC Source # 
ToJSON Reg Source # 
ToJSON t => ToJSON (TT t) Source # 

Methods

toJSON :: TT t -> Value #

toEncoding :: TT t -> Encoding #

toJSONList :: [TT t] -> Value #

toEncodingList :: [TT t] -> Encoding #

ToJSON t => ToJSON (AppStatus t) Source # 
ToJSON t => ToJSON (Binder t) Source # 
ToJSON t => ToJSON (CaseAlt' t) Source # 
ToJSON t => ToJSON (SC' t) Source # 

Methods

toJSON :: SC' t -> Value #

toEncoding :: SC' t -> Encoding #

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

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