idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

IRTS.Portable

Description

 

Documentation

writePortable :: Handle -> CodegenInfo -> IO () #

Orphan instances

ToJSON BC # 
Instance details

Methods

toJSON :: BC -> Value #

toEncoding :: BC -> Encoding #

toJSONList :: [BC] -> Value #

toEncodingList :: [BC] -> Encoding #

omitField :: BC -> Bool #

ToJSON Reg # 
Instance details

ToJSON CodegenInfo # 
Instance details

ToJSON DAlt # 
Instance details

ToJSON DDecl # 
Instance details

ToJSON DExp # 
Instance details

ToJSON Export # 
Instance details

ToJSON ExportIFace # 
Instance details

ToJSON FDesc # 
Instance details

ToJSON LAlt # 
Instance details

ToJSON LDecl # 
Instance details

ToJSON LExp # 
Instance details

ToJSON LOpt # 
Instance details

ToJSON LVar # 
Instance details

ToJSON PrimFn # 
Instance details

ToJSON SAlt # 
Instance details

ToJSON SDecl # 
Instance details

ToJSON SExp # 
Instance details

ToJSON CaseType # 
Instance details

ToJSON Accessibility # 
Instance details

ToJSON CaseDefs # 
Instance details

ToJSON CaseInfo # 
Instance details

ToJSON Def # 
Instance details

ToJSON MetaInformation # 
Instance details

ToJSON Totality # 
Instance details

ToJSON ArithTy # 
Instance details

ToJSON Const # 
Instance details

ToJSON ImplicitInfo # 
Instance details

ToJSON IntTy # 
Instance details

ToJSON Name # 
Instance details

ToJSON NameType # 
Instance details

ToJSON RigCount # 
Instance details

ToJSON UExp # 
Instance details

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

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

Methods

toJSON :: SC' t -> Value #

toEncoding :: SC' t -> Encoding #

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

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

omitField :: SC' t -> Bool #

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

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

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

Methods

toJSON :: TT t -> Value #

toEncoding :: TT t -> Encoding #

toJSONList :: [TT t] -> Value #

toEncodingList :: [TT t] -> Encoding #

omitField :: TT t -> Bool #