Data.ByteString.IsoBaseFileFormat.Util.BitRecords

data Field

data (:=>)

data (:*:)

type FieldPosition

type Flag

data (:/)

type family GetFieldSize (f :: l) :: Nat where ...

type family HasField (f :: fk) (l :: lk) :: Bool where ...

type family HasFieldConstraint (label :: lk) (field :: fk) :: Constraint where ...

type family FocusOn (l :: lk) (f :: fk) :: Result fk where ...

type family FocusOnUnsafe (l :: lk) (f :: fk) :: fk where ...

type family GetFieldPosition (f :: field) (l :: label) :: Result FieldPosition where ...

type family GetFieldPositionUnsafe (f :: field) (l :: label) :: FieldPosition where ...

type family AddToFieldPosition (v :: Nat) (e :: (Nat, Nat)) :: (Nat, Nat) where ...

type family IsFieldPostition (pos :: FieldPosition) :: Constraint where ...

type family FieldPostitionToList (pos :: FieldPosition) :: [Nat] where ...

type family AlignField (a :: Nat) (f :: field) :: Result field where ...

type family AddPadding (n :: Nat) (f :: field) :: field where ...

type Rem x y

type family RemImpl (x :: Nat) (y :: nat) (acc :: Nat) :: Nat where ...

getFlag

setFlag

getField

setField

type Foo

type IsFieldC name field first last

getFooField