idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Core.Binary

Contents

Description

 

Documentation

Orphan instances

Binary RigCount Source # 

Methods

put :: RigCount -> Put #

get :: Get RigCount #

putList :: [RigCount] -> Put #

Binary NameType Source # 

Methods

put :: NameType -> Put #

get :: Get NameType #

putList :: [NameType] -> Put #

Binary ConstraintFC Source # 
Binary UConstraint Source # 
Binary UExp Source # 

Methods

put :: UExp -> Put #

get :: Get UExp #

putList :: [UExp] -> Put #

Binary ImplicitInfo Source # 
Binary Raw Source # 

Methods

put :: Raw -> Put #

get :: Get Raw #

putList :: [Raw] -> Put #

Binary Universe Source # 

Methods

put :: Universe -> Put #

get :: Get Universe #

putList :: [Universe] -> Put #

Binary Const Source # 

Methods

put :: Const -> Put #

get :: Get Const #

putList :: [Const] -> Put #

Binary SpecialName Source # 
Binary Name Source # 

Methods

put :: Name -> Put #

get :: Get Name #

putList :: [Name] -> Put #

Binary Provenance Source # 
Binary ErrorReportPart Source # 
Binary FC' Source # 

Methods

put :: FC' -> Put #

get :: Get FC' #

putList :: [FC'] -> Put #

Binary FC Source # 

Methods

put :: FC -> Put #

get :: Get FC #

putList :: [FC] -> Put #

Binary (TT Name) Source # 

Methods

put :: TT Name -> Put #

get :: Get (TT Name) #

putList :: [TT Name] -> Put #

Binary b => Binary (Binder b) Source # 

Methods

put :: Binder b -> Put #

get :: Get (Binder b) #

putList :: [Binder b] -> Put #

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

Methods

put :: Err' a -> Put #

get :: Get (Err' a) #

putList :: [Err' a] -> Put #