Data.Binary.Combinators

Documentation

newtype Many a

Constructors

Many

Fields

• getMany :: [a]

Instances

Eq a => Eq (Many a)

Defined in Data.Binary.Combinators

Methods

(==) :: Many a -> Many a -> Bool

(/=) :: Many a -> Many a -> Bool

Ord a => Ord (Many a)

Defined in Data.Binary.Combinators

Methods

compare :: Many a -> Many a -> Ordering

(<) :: Many a -> Many a -> Bool

(<=) :: Many a -> Many a -> Bool

(>) :: Many a -> Many a -> Bool

(>=) :: Many a -> Many a -> Bool

max :: Many a -> Many a -> Many a

min :: Many a -> Many a -> Many a

Show a => Show (Many a)

Defined in Data.Binary.Combinators

Methods

showsPrec :: Int -> Many a -> ShowS

show :: Many a -> String

showList :: [Many a] -> ShowS

Arbitrary a => Arbitrary (Many a)

Defined in Data.Binary.Combinators

Methods

arbitrary :: Gen (Many a)

shrink :: Many a -> [Many a]

Binary a => Binary (Many a)

Defined in Data.Binary.Combinators

Methods

put :: Many a -> Put

get :: Get (Many a)

putList :: [Many a] -> Put

newtype Some a

Constructors

Some

Fields

• getSome :: [a]

Instances

Eq a => Eq (Some a)

Defined in Data.Binary.Combinators

Methods

(==) :: Some a -> Some a -> Bool

(/=) :: Some a -> Some a -> Bool

Ord a => Ord (Some a)

Defined in Data.Binary.Combinators

Methods

compare :: Some a -> Some a -> Ordering

(<) :: Some a -> Some a -> Bool

(<=) :: Some a -> Some a -> Bool

(>) :: Some a -> Some a -> Bool

(>=) :: Some a -> Some a -> Bool

max :: Some a -> Some a -> Some a

min :: Some a -> Some a -> Some a

Show a => Show (Some a)

Defined in Data.Binary.Combinators

Methods

showsPrec :: Int -> Some a -> ShowS

show :: Some a -> String

showList :: [Some a] -> ShowS

Arbitrary a => Arbitrary (Some a)

Defined in Data.Binary.Combinators

Methods

arbitrary :: Gen (Some a)

shrink :: Some a -> [Some a]

Binary a => Binary (Some a)

Defined in Data.Binary.Combinators

Methods

put :: Some a -> Put

get :: Get (Some a)

putList :: [Some a] -> Put

newtype CountedBy ty a

Constructors

CountedBy

Fields

• getCounted :: [a]

Instances

Eq a => Eq (CountedBy ty a)

Defined in Data.Binary.Combinators

Methods

(==) :: CountedBy ty a -> CountedBy ty a -> Bool

(/=) :: CountedBy ty a -> CountedBy ty a -> Bool

Ord a => Ord (CountedBy ty a)

Defined in Data.Binary.Combinators

Methods

compare :: CountedBy ty a -> CountedBy ty a -> Ordering

(<) :: CountedBy ty a -> CountedBy ty a -> Bool

(<=) :: CountedBy ty a -> CountedBy ty a -> Bool

(>) :: CountedBy ty a -> CountedBy ty a -> Bool

(>=) :: CountedBy ty a -> CountedBy ty a -> Bool

max :: CountedBy ty a -> CountedBy ty a -> CountedBy ty a

min :: CountedBy ty a -> CountedBy ty a -> CountedBy ty a

Show a => Show (CountedBy ty a)

Defined in Data.Binary.Combinators

Methods

showsPrec :: Int -> CountedBy ty a -> ShowS

show :: CountedBy ty a -> String

showList :: [CountedBy ty a] -> ShowS

Arbitrary a => Arbitrary (CountedBy ty a)

Defined in Data.Binary.Combinators

Methods

arbitrary :: Gen (CountedBy ty a)

shrink :: CountedBy ty a -> [CountedBy ty a]

(Integral ty, Binary ty, Binary a) => Binary (CountedBy ty a)

Defined in Data.Binary.Combinators

Methods

put :: CountedBy ty a -> Put

get :: Get (CountedBy ty a)

putList :: [CountedBy ty a] -> Put

data SkipCount ty (n :: Nat)

Constructors

SkipCount

Instances

Eq (SkipCount ty n)

Defined in Data.Binary.Combinators

Methods

(==) :: SkipCount ty n -> SkipCount ty n -> Bool

(/=) :: SkipCount ty n -> SkipCount ty n -> Bool

Ord (SkipCount ty n)

Defined in Data.Binary.Combinators

Methods

compare :: SkipCount ty n -> SkipCount ty n -> Ordering

(<) :: SkipCount ty n -> SkipCount ty n -> Bool

(<=) :: SkipCount ty n -> SkipCount ty n -> Bool

(>) :: SkipCount ty n -> SkipCount ty n -> Bool

(>=) :: SkipCount ty n -> SkipCount ty n -> Bool

max :: SkipCount ty n -> SkipCount ty n -> SkipCount ty n

min :: SkipCount ty n -> SkipCount ty n -> SkipCount ty n

Show (SkipCount ty n)

Defined in Data.Binary.Combinators

Methods

showsPrec :: Int -> SkipCount ty n -> ShowS

show :: SkipCount ty n -> String

showList :: [SkipCount ty n] -> ShowS

Arbitrary (SkipCount ty n)

Defined in Data.Binary.Combinators

Methods

arbitrary :: Gen (SkipCount ty n)

shrink :: SkipCount ty n -> [SkipCount ty n]

(Num ty, Binary ty, KnownNat n) => Binary (SkipCount ty n)

Defined in Data.Binary.Combinators

Methods

put :: SkipCount ty n -> Put

get :: Get (SkipCount ty n)

putList :: [SkipCount ty n] -> Put

data SkipByte (n :: Nat)

Constructors

SkipByte

Instances

Eq (SkipByte n)

Defined in Data.Binary.Combinators

Methods

(==) :: SkipByte n -> SkipByte n -> Bool

(/=) :: SkipByte n -> SkipByte n -> Bool

Ord (SkipByte n)

Defined in Data.Binary.Combinators

Methods

compare :: SkipByte n -> SkipByte n -> Ordering

(<) :: SkipByte n -> SkipByte n -> Bool

(<=) :: SkipByte n -> SkipByte n -> Bool

(>) :: SkipByte n -> SkipByte n -> Bool

(>=) :: SkipByte n -> SkipByte n -> Bool

max :: SkipByte n -> SkipByte n -> SkipByte n

min :: SkipByte n -> SkipByte n -> SkipByte n

Show (SkipByte n)

Defined in Data.Binary.Combinators

Methods

showsPrec :: Int -> SkipByte n -> ShowS

show :: SkipByte n -> String

showList :: [SkipByte n] -> ShowS

Arbitrary (SkipByte n)

Defined in Data.Binary.Combinators

Methods

arbitrary :: Gen (SkipByte n)

shrink :: SkipByte n -> [SkipByte n]

KnownNat n => Binary (SkipByte n)

Defined in Data.Binary.Combinators

Methods

put :: SkipByte n -> Put

get :: Get (SkipByte n)

putList :: [SkipByte n] -> Put

data MatchBytes :: Symbol -> [Nat] -> Type

Instances

Eq (MatchBytes s ns)

Defined in Data.Binary.Combinators

Methods

(==) :: MatchBytes s ns -> MatchBytes s ns -> Bool

(/=) :: MatchBytes s ns -> MatchBytes s ns -> Bool

Ord (MatchBytes s ns)

Defined in Data.Binary.Combinators

Methods

compare :: MatchBytes s ns -> MatchBytes s ns -> Ordering

(<) :: MatchBytes s ns -> MatchBytes s ns -> Bool

(<=) :: MatchBytes s ns -> MatchBytes s ns -> Bool

(>) :: MatchBytes s ns -> MatchBytes s ns -> Bool

(>=) :: MatchBytes s ns -> MatchBytes s ns -> Bool

max :: MatchBytes s ns -> MatchBytes s ns -> MatchBytes s ns

min :: MatchBytes s ns -> MatchBytes s ns -> MatchBytes s ns

Show (MatchBytes ctx ns)

Defined in Data.Binary.Combinators

Methods

showsPrec :: Int -> MatchBytes ctx ns -> ShowS

show :: MatchBytes ctx ns -> String

showList :: [MatchBytes ctx ns] -> ShowS

MatchBytesSing ctx ns => Arbitrary (MatchBytes ctx ns)

Defined in Data.Binary.Combinators

Methods

arbitrary :: Gen (MatchBytes ctx ns)

shrink :: MatchBytes ctx ns -> [MatchBytes ctx ns]

(KnownSymbol ctx, KnownNat n, Binary (MatchBytes ctx ns)) => Binary (MatchBytes ctx (n ': ns))

Defined in Data.Binary.Combinators

Methods

put :: MatchBytes ctx (n ': ns) -> Put

get :: Get (MatchBytes ctx (n ': ns))

putList :: [MatchBytes ctx (n ': ns)] -> Put

Binary (MatchBytes ctx ('[] :: [Nat]))

Defined in Data.Binary.Combinators

Methods

put :: MatchBytes ctx '[] -> Put

get :: Get (MatchBytes ctx '[])

putList :: [MatchBytes ctx '[]] -> Put

matchBytes :: MatchBytesSing ctx ns => MatchBytes ctx ns