idris-1.0: Functional Programming Language with Dependent Types

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

Idris.Core.Binary

Contents

- Orphan instances

Description

# 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 #