Dahdit.BinaryRep

Documentation

class Binary x => BinaryRep x a | a -> x where

Methods

fromBinaryRep :: x -> Either String a

toBinaryRep :: a -> x

Instances

(Binary x, Integral x, Bounded a, Enum a) => BinaryRep x (ViaBoundedEnum x a)

Defined in Dahdit.BinaryRep

Methods

fromBinaryRep :: x -> Either String (ViaBoundedEnum x a)

toBinaryRep :: ViaBoundedEnum x a -> x

(Binary x, Integral x, Integral a) => BinaryRep x (ViaIntegral x a)

Defined in Dahdit.BinaryRep

Methods

fromBinaryRep :: x -> Either String (ViaIntegral x a)

toBinaryRep :: ViaIntegral x a -> x

newtype ViaBoundedEnum x a

Constructors

ViaBoundedEnum

Fields

• unViaBoundedEnum :: a

Instances

(Binary x, Integral x, Bounded a, Enum a) => BinaryRep x (ViaBoundedEnum x a)

Defined in Dahdit.BinaryRep

Methods

fromBinaryRep :: x -> Either String (ViaBoundedEnum x a)

toBinaryRep :: ViaBoundedEnum x a -> x

newtype ViaIntegral x a

Constructors

ViaIntegral

Fields

• unViaIntegral :: a

Instances

(Binary x, Integral x, Integral a) => BinaryRep x (ViaIntegral x a)

Defined in Dahdit.BinaryRep

Methods

fromBinaryRep :: x -> Either String (ViaIntegral x a)

toBinaryRep :: ViaIntegral x a -> x

newtype ViaBinaryRep a

Constructors

ViaBinaryRep

Fields

• unViaBinaryRep :: a

Instances

BinaryRep x a => Binary (ViaBinaryRep a)

Defined in Dahdit.BinaryRep

Methods

get :: Get (ViaBinaryRep a)

put :: ViaBinaryRep a -> Put

(ByteSized x, BinaryRep x a) => ByteSized (ViaBinaryRep a)

Defined in Dahdit.BinaryRep

Methods

byteSize :: ViaBinaryRep a -> ByteCount

(StaticByteSized x, BinaryRep x a) => StaticByteSized (ViaBinaryRep a)

Defined in Dahdit.BinaryRep

Methods

staticByteSize :: Proxy (ViaBinaryRep a) -> ByteCount