Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
Idris.Core.Binary
Contents
Description
Documentation
Orphan instances
Binary RigCount # | |
Binary NameType # | |
Binary ConstraintFC # | |
Binary UConstraint # | |
Binary UExp # | |
Binary ImplicitInfo # | |
Binary Raw # | |
Binary Universe # | |
Binary Const # | |
Binary SpecialName # | |
Binary Name # | |
Binary Provenance # | |
Binary ErrorReportPart # | |
Binary FC' # | |
Binary FC # | |
Binary (TT Name) # | |
Binary b => Binary (Binder b) # | |
Binary a => Binary (Err' a) # | |