Data.Type.BitRecords.Assert

type family Assert (cond :: Assertion a) (x :: a) :: a where ...

type Assertion a

type family Check (f :: Assertion a) (x :: a) :: Maybe ErrorMessage

type x ?:: cond

data (@&&)

data NatLE

data NatGE

data NatIn

data LengthIn

type family CountElementsForLengthIn (xs :: k) :: Nat