Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Binary x => BinaryRep x a | a -> x where Source #
fromBinaryRep :: x -> Either String a Source #
toBinaryRep :: a -> x Source #
Instances
(Binary x, Integral x, Bounded a, Enum a) => BinaryRep x (ViaBoundedEnum x a) Source # | |
Defined in Dahdit.BinaryRep fromBinaryRep :: x -> Either String (ViaBoundedEnum x a) Source # toBinaryRep :: ViaBoundedEnum x a -> x Source # |
newtype ViaBoundedEnum x a Source #
Instances
(Binary x, Integral x, Bounded a, Enum a) => BinaryRep x (ViaBoundedEnum x a) Source # | |
Defined in Dahdit.BinaryRep fromBinaryRep :: x -> Either String (ViaBoundedEnum x a) Source # toBinaryRep :: ViaBoundedEnum x a -> x Source # |
newtype ViaBinaryRep a Source #
Instances
(BinaryRep x a, Binary x) => Binary (ViaBinaryRep a) Source # | |
Defined in Dahdit.BinaryRep get :: Get (ViaBinaryRep a) Source # put :: ViaBinaryRep a -> Put Source # | |
(ByteSized x, BinaryRep x a) => ByteSized (ViaBinaryRep a) Source # | |
Defined in Dahdit.BinaryRep byteSize :: ViaBinaryRep a -> ByteCount Source # | |
(StaticByteSized x, BinaryRep x a) => StaticByteSized (ViaBinaryRep a) Source # | |
Defined in Dahdit.BinaryRep staticByteSize :: Proxy (ViaBinaryRep a) -> ByteCount Source # |