Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

Idris.Core.Binary

Contents

Orphan instances

Description

Documentation

Orphan instances

Binary NameType Source #
Methods put :: NameType -> Put # get :: Get NameType # putList :: [NameType] -> Put #
Binary ConstraintFC Source #
Methods put :: ConstraintFC -> Put # get :: Get ConstraintFC # putList :: [ConstraintFC] -> Put #
Binary UConstraint Source #
Methods put :: UConstraint -> Put # get :: Get UConstraint # putList :: [UConstraint] -> Put #
Binary UExp Source #
Methods put :: UExp -> Put # get :: Get UExp # putList :: [UExp] -> Put #
Binary ImplicitInfo Source #
Methods put :: ImplicitInfo -> Put # get :: Get ImplicitInfo # putList :: [ImplicitInfo] -> Put #
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 #
Methods put :: SpecialName -> Put # get :: Get SpecialName # putList :: [SpecialName] -> Put #
Binary Name Source #
Methods put :: Name -> Put # get :: Get Name # putList :: [Name] -> Put #
Binary Provenance Source #
Methods put :: Provenance -> Put # get :: Get Provenance # putList :: [Provenance] -> Put #
Binary ErrorReportPart Source #
Methods put :: ErrorReportPart -> Put # get :: Get ErrorReportPart # putList :: [ErrorReportPart] -> Put #
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 #