| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.Core.Binary
Contents
Description
Orphan instances
| Binary Const # | |
| Binary ConstraintFC # | |
| Binary ErrorReportPart # | |
Methods put :: ErrorReportPart -> Put # get :: Get ErrorReportPart # putList :: [ErrorReportPart] -> Put # | |
| Binary FC # | |
| Binary FC' # | |
| Binary ImplicitInfo # | |
| Binary Name # | |
| Binary NameType # | |
| Binary Provenance # | |
| Binary Raw # | |
| Binary RigCount # | |
| Binary SpecialName # | |
| Binary UConstraint # | |
| Binary UExp # | |
| Binary Universe # | |
| Binary b => Binary (Binder b) # | |
| Binary a => Binary (Err' a) # | |
| Binary (TT Name) # | |