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

Idris.Core.Binary

Description

 

Orphan instances

Binary Const Source # 
Instance details

Methods

put :: Const -> Put

get :: Get Const

putList :: [Const] -> Put

Binary ConstraintFC Source # 
Instance details

Methods

put :: ConstraintFC -> Put

get :: Get ConstraintFC

putList :: [ConstraintFC] -> Put

Binary ErrorReportPart Source # 
Instance details

Methods

put :: ErrorReportPart -> Put

get :: Get ErrorReportPart

putList :: [ErrorReportPart] -> Put

Binary FC Source # 
Instance details

Methods

put :: FC -> Put

get :: Get FC

putList :: [FC] -> Put

Binary FC' Source # 
Instance details

Methods

put :: FC' -> Put

get :: Get FC'

putList :: [FC'] -> Put

Binary ImplicitInfo Source # 
Instance details

Methods

put :: ImplicitInfo -> Put

get :: Get ImplicitInfo

putList :: [ImplicitInfo] -> Put

Binary Name Source # 
Instance details

Methods

put :: Name -> Put

get :: Get Name

putList :: [Name] -> Put

Binary NameType Source # 
Instance details

Methods

put :: NameType -> Put

get :: Get NameType

putList :: [NameType] -> Put

Binary Provenance Source # 
Instance details

Methods

put :: Provenance -> Put

get :: Get Provenance

putList :: [Provenance] -> Put

Binary Raw Source # 
Instance details

Methods

put :: Raw -> Put

get :: Get Raw

putList :: [Raw] -> Put

Binary RigCount Source # 
Instance details

Methods

put :: RigCount -> Put

get :: Get RigCount

putList :: [RigCount] -> Put

Binary SpecialName Source # 
Instance details

Methods

put :: SpecialName -> Put

get :: Get SpecialName

putList :: [SpecialName] -> Put

Binary UConstraint Source # 
Instance details

Methods

put :: UConstraint -> Put

get :: Get UConstraint

putList :: [UConstraint] -> Put

Binary UExp Source # 
Instance details

Methods

put :: UExp -> Put

get :: Get UExp

putList :: [UExp] -> Put

Binary Universe Source # 
Instance details

Methods

put :: Universe -> Put

get :: Get Universe

putList :: [Universe] -> Put

Binary b => Binary (Binder b) Source # 
Instance details

Methods

put :: Binder b -> Put

get :: Get (Binder b)

putList :: [Binder b] -> Put

Binary a => Binary (Err' a) Source # 
Instance details

Methods

put :: Err' a -> Put

get :: Get (Err' a)

putList :: [Err' a] -> Put

Binary (TT Name) Source # 
Instance details

Methods

put :: TT Name -> Put

get :: Get (TT Name)

putList :: [TT Name] -> Put