idris-1.3.1: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.Portable

Contents

Description

 

Documentation

Orphan instances

ToJSON RigCount Source # 
Instance details

ToJSON NameType Source # 
Instance details

ToJSON UExp Source # 
Instance details

ToJSON ImplicitInfo Source # 
Instance details

ToJSON Const Source # 
Instance details

ToJSON ArithTy Source # 
Instance details

ToJSON IntTy Source # 
Instance details

ToJSON Name Source # 
Instance details

ToJSON CaseType Source # 
Instance details

ToJSON MetaInformation Source # 
Instance details

ToJSON Totality Source # 
Instance details

ToJSON Accessibility Source # 
Instance details

ToJSON CaseInfo Source # 
Instance details

ToJSON CaseDefs Source # 
Instance details

ToJSON Def Source # 
Instance details

ToJSON LOpt Source # 
Instance details

ToJSON LDecl Source # 
Instance details

ToJSON LAlt Source # 
Instance details

ToJSON PrimFn Source # 
Instance details

ToJSON ExportIFace Source # 
Instance details

ToJSON Export Source # 
Instance details

ToJSON FDesc Source # 
Instance details

ToJSON LExp Source # 
Instance details

ToJSON LVar Source # 
Instance details

ToJSON DDecl Source # 
Instance details

ToJSON DAlt Source # 
Instance details

ToJSON DExp Source # 
Instance details

ToJSON SDecl Source # 
Instance details

ToJSON SAlt Source # 
Instance details

ToJSON SExp Source # 
Instance details

ToJSON CodegenInfo Source # 
Instance details

ToJSON BC Source # 
Instance details

ToJSON Reg Source # 
Instance details

ToJSON t => ToJSON (TT t) Source # 
Instance details

Methods

toJSON :: TT t -> Value #

toEncoding :: TT t -> Encoding #

toJSONList :: [TT t] -> Value #

toEncodingList :: [TT t] -> Encoding #

ToJSON t => ToJSON (AppStatus t) Source # 
Instance details

ToJSON t => ToJSON (Binder t) Source # 
Instance details

ToJSON t => ToJSON (CaseAlt' t) Source # 
Instance details

ToJSON t => ToJSON (SC' t) Source # 
Instance details

Methods

toJSON :: SC' t -> Value #

toEncoding :: SC' t -> Encoding #

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

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