Idris.Core.Binary

Documentation

Orphan instances

Binary RigCount

Methods

put :: RigCount -> Put

get :: Get RigCount

putList :: [RigCount] -> Put

Binary NameType

Methods

put :: NameType -> Put

get :: Get NameType

putList :: [NameType] -> Put

Binary ConstraintFC

Methods

put :: ConstraintFC -> Put

get :: Get ConstraintFC

putList :: [ConstraintFC] -> Put

Binary UConstraint

Methods

put :: UConstraint -> Put

get :: Get UConstraint

putList :: [UConstraint] -> Put

Binary UExp

Methods

put :: UExp -> Put

get :: Get UExp

putList :: [UExp] -> Put

Binary ImplicitInfo

Methods

put :: ImplicitInfo -> Put

get :: Get ImplicitInfo

putList :: [ImplicitInfo] -> Put

Binary Raw

Methods

put :: Raw -> Put

get :: Get Raw

putList :: [Raw] -> Put

Binary Universe

Methods

put :: Universe -> Put

get :: Get Universe

putList :: [Universe] -> Put

Binary Const

Methods

put :: Const -> Put

get :: Get Const

putList :: [Const] -> Put

Binary SpecialName

Methods

put :: SpecialName -> Put

get :: Get SpecialName

putList :: [SpecialName] -> Put

Binary Name

Methods

put :: Name -> Put

get :: Get Name

putList :: [Name] -> Put

Binary Provenance

Methods

put :: Provenance -> Put

get :: Get Provenance

putList :: [Provenance] -> Put

Binary ErrorReportPart

Methods

put :: ErrorReportPart -> Put

get :: Get ErrorReportPart

putList :: [ErrorReportPart] -> Put

Binary FC'

Methods

put :: FC' -> Put

get :: Get FC'

putList :: [FC'] -> Put

Binary FC

Methods

put :: FC -> Put

get :: Get FC

putList :: [FC] -> Put

Binary (TT Name)

Methods

put :: TT Name -> Put

get :: Get (TT Name)

putList :: [TT Name] -> Put

Binary b => Binary (Binder b)

Methods

put :: Binder b -> Put

get :: Get (Binder b)

putList :: [Binder b] -> Put

Binary a => Binary (Err' a)

Methods

put :: Err' a -> Put

get :: Get (Err' a)

putList :: [Err' a] -> Put