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 x a

Constructors

ViaBinaryRep

Fields

• unViaBinaryRep :: a

Instances

BinaryRep x a => Binary (ViaBinaryRep x a)

Defined in Dahdit.BinaryRep

Methods

byteSize :: ViaBinaryRep x a -> ByteCount

get :: Get (ViaBinaryRep x a)

put :: ViaBinaryRep x a -> Put

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

Defined in Dahdit.BinaryRep

Associated Types

type StaticSize (ViaBinaryRep x a) :: Nat

Methods

staticByteSize :: Proxy (ViaBinaryRep x a) -> ByteCount

type StaticSize (ViaBinaryRep x a)

Defined in Dahdit.BinaryRep

type StaticSize (ViaBinaryRep x a) = StaticSize x