Semigroup BitBuilder Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
Monoid BitBuilder Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder BitBuffer64 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
(KnownNat v, DynamicContent BitBuilder (Proxy f) rt, Num rt) => HasFunctionBuilder BitBuilder (Proxy (f :=. v)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
BitFieldSize (From f) ~ 1 => HasFunctionBuilder BitBuilder (Proxy (f :=. False)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
BitFieldSize (From f) ~ 1 => HasFunctionBuilder BitBuilder (Proxy (f :=. True)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy nested) => HasFunctionBuilder BitBuilder (Proxy (Labelled l nested)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy nested) => HasFunctionBuilder BitBuilder (Proxy (Konst nested)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldFlag)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldI8)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldI16)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldI32)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldI64)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldU8)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldU16)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldU32)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy (MkField MkFieldU64)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
(KnownNat v, DynamicContent BitBuilder (Proxy f) rt, Num rt) => HasFunctionBuilder BitBuilder (Proxy (f := v)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
(KnownNat v, DynamicContent BitBuilder (Proxy f) x, Num x) => HasFunctionBuilder BitBuilder (Proxy (f := NegativeNat v)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
(KnownNat v, DynamicContent BitBuilder (Proxy f) x, Num x) => HasFunctionBuilder BitBuilder (Proxy (f := PositiveNat v)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
FieldWidth f ~ 1 => HasFunctionBuilder BitBuilder (Proxy (f := False)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
FieldWidth f ~ 1 => HasFunctionBuilder BitBuilder (Proxy (f := True)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy nested) => HasFunctionBuilder BitBuilder (Proxy (LabelF l nested)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
KnownChunkSize s => HasFunctionBuilder BitBuilder (Proxy (MkField (MkFieldBits :: BitField (B s) Nat s))) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
KnownChunkSize size => HasFunctionBuilder BitBuilder (Proxy (MkField (MkFieldCustom :: BitField (EnumValue e) e size))) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Enum |
(KnownNat (FromEnum e v), KnownChunkSize size) => HasFunctionBuilder BitBuilder (Proxy (f := v)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Enum |
HasFunctionBuilder BitBuilder (Proxy (From r)) => HasFunctionBuilder BitBuilder (Proxy r) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy MkFieldFlag) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy MkFieldU32) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy EmptyBitRecord) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy f) => HasFunctionBuilder BitBuilder (Proxy (BitRecordMember f)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
HasFunctionBuilder BitBuilder (Proxy f) => HasFunctionBuilder BitBuilder (Proxy (RecordField f)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
(HasFunctionBuilder BitBuilder (Proxy l), HasFunctionBuilder BitBuilder (Proxy r)) => HasFunctionBuilder BitBuilder (Proxy (BitRecordAppend l r)) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy nested) rt => DynamicContent BitBuilder (Proxy (Labelled l nested)) rt Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy nested) rt => DynamicContent BitBuilder (Proxy (Konst nested)) rt Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy (MkField MkFieldI8)) Int8 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy (MkField MkFieldI16)) Int16 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy (MkField MkFieldI32)) Int32 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy (MkField MkFieldI64)) Int64 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy (MkField MkFieldU8)) Word8 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy (MkField MkFieldU16)) Word16 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy (MkField MkFieldU32)) Word32 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy (MkField MkFieldU64)) Word64 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy nested) b => DynamicContent BitBuilder (Proxy (LabelF l nested)) b Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy MkFieldFlag) Bool Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
DynamicContent BitBuilder (Proxy MkFieldU32) Word32 Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
KnownChunkSize s => DynamicContent BitBuilder (Proxy (MkField (MkFieldBits :: BitField (B s) Nat s))) (B s) Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder BitBuffer64 r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (f :=. v)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (f :=. False)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (f :=. True)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (Labelled l nested)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (Konst nested)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldFlag)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldI8)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldI16)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldI32)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldI64)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldU8)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldU16)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldU32)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField MkFieldU64)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (f := NegativeNat v)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (f := PositiveNat v)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (f := v)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (f := False)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (f := True)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (LabelF l nested)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField (MkFieldBits :: BitField (B s) Nat s))) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (MkField (MkFieldCustom :: BitField (EnumValue e) e size))) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Enum |
type ToFunction BitBuilder (Proxy (f := v)) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Enum |
type ToFunction BitBuilder (Proxy r) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy MkFieldFlag) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy MkFieldU32) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy EmptyBitRecord) r Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (BitRecordMember f)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (RecordField f)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |
type ToFunction BitBuilder (Proxy (BitRecordAppend l r)) a Source # | |
Instance detailsDefined in Data.Type.BitRecords.Builder.LazyByteStringBuilder |