idris-1.3.4: Functional Programming Language with Dependent Types

License | BSD3
Maintainer | The Idris Community.
Safe Haskell | Safe-Inferred
Language | Haskell2010

Idris.Core.Binary

Contents

- Orphan instances

Description

# Orphan instances

Binary Const # |
Instance details Methods put :: Const -> Put get :: Get Const putList :: [Const] -> Put
Binary ConstraintFC # |
Instance details Methods put :: ConstraintFC -> Put get :: Get ConstraintFC putList :: [ConstraintFC] -> Put
Binary ErrorReportPart # |
Instance details Methods put :: ErrorReportPart -> Put get :: Get ErrorReportPart putList :: [ErrorReportPart] -> Put
Binary FC # |
Instance details Methods put :: FC -> Put get :: Get FC putList :: [FC] -> Put
Binary FC' # |
Instance details Methods put :: FC' -> Put get :: Get FC' putList :: [FC'] -> Put
Binary ImplicitInfo # |
Instance details Methods put :: ImplicitInfo -> Put get :: Get ImplicitInfo putList :: [ImplicitInfo] -> Put
Binary Name # |
Instance details Methods put :: Name -> Put get :: Get Name putList :: [Name] -> Put
Binary NameType # |
Instance details Methods put :: NameType -> Put get :: Get NameType putList :: [NameType] -> Put
Binary Provenance # |
Instance details Methods put :: Provenance -> Put get :: Get Provenance putList :: [Provenance] -> Put
Binary Raw # |
Instance details Methods put :: Raw -> Put get :: Get Raw putList :: [Raw] -> Put
Binary RigCount # |
Instance details Methods put :: RigCount -> Put get :: Get RigCount putList :: [RigCount] -> Put
Binary SpecialName # |
Instance details Methods put :: SpecialName -> Put get :: Get SpecialName putList :: [SpecialName] -> Put
Binary UConstraint # |
Instance details Methods put :: UConstraint -> Put get :: Get UConstraint putList :: [UConstraint] -> Put
Binary UExp # |
Instance details Methods put :: UExp -> Put get :: Get UExp putList :: [UExp] -> Put
Binary Universe # |
Instance details Methods put :: Universe -> Put get :: Get Universe putList :: [Universe] -> Put
Binary b => Binary (Binder b) # |
Instance details Methods put :: Binder b -> Put get :: Get (Binder b) putList :: [Binder b] -> Put
Binary a => Binary (Err' a) # |
Instance details Methods put :: Err' a -> Put get :: Get (Err' a) putList :: [Err' a] -> Put
Binary (TT Name) # |
Instance details Methods put :: TT Name -> Put get :: Get (TT Name) putList :: [TT Name] -> Put