idris-0.12.3: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.Portable

Contents

Description

 

Documentation

Orphan instances

ToJSON Const Source # 
ToJSON ArithTy Source # 
ToJSON IntTy Source # 
ToJSON Name Source # 
ToJSON CaseType 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 # 

Methods

toJSON :: BC -> Value #

toEncoding :: BC -> Encoding #

ToJSON Reg Source # 

Methods

toJSON :: Reg -> Value #

toEncoding :: Reg -> Encoding #