idris-0.99: 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 # 
ToJSON Reg Source #