Data.Type.Witness.Specific.List.Product

Documentation

type family ListProduct w = r | r -> w where ...

Equations

ListProduct '[] = ()

ListProduct (t ': tt) = (t, ListProduct tt)

injectiveListProduct :: forall (a :: [Type]) (b :: [Type]). ListProduct a ~ ListProduct b => a :~: b

workaround for https://gitlab.haskell.org/ghc/ghc/issues/10833

listProductEq :: (forall a. w a -> Dict (Eq a)) -> ListType w t -> Dict (Eq (ListProduct t))

listProductShow :: (forall a. w a -> Dict (Show a)) -> ListType w t -> Dict (Show (ListProduct t))

fillListProduct :: ListType w t -> (forall a. w a -> a) -> ListProduct t

mapListProduct :: ListType w t -> (forall a. w a -> a -> a) -> ListProduct t -> ListProduct t

lift2ListProduct :: ListType w t -> (forall a. w a -> a -> a -> a) -> ListProduct t -> ListProduct t -> ListProduct t

identityListProduct :: ListType Identity lt -> ListProduct lt

sequenceListProduct :: Applicative f => ListType f lt -> f (ListProduct lt)

listProductGetElement :: ListElementType list t -> ListProduct list -> t

listProductPutElement :: ListElementType list t -> t -> ListProduct list -> ListProduct list

listProductModifyElement :: ListElementType list t -> (t -> t) -> ListProduct list -> ListProduct list

data ListProductType wit t where

Constructors

MkListProductType :: forall (wit :: Type -> Type) (lt :: [Type]). ListType wit lt -> ListProductType wit (ListProduct lt)

Instances

WitnessConstraint Eq w => WitnessConstraint Eq (ListProductType w :: Type -> Type)

Defined in Data.Type.Witness.Specific.List.Product

Methods

witnessConstraint :: forall (t :: k). ListProductType w t -> Dict (Eq t)

TestEquality wit => TestEquality (ListProductType wit :: Type -> Type)

Defined in Data.Type.Witness.Specific.List.Product

Methods

testEquality :: forall (a :: k) (b :: k). ListProductType wit a -> ListProductType wit b -> Maybe (a :~: b)

Representative w => Representative (ListProductType w :: Type -> Type)

Defined in Data.Type.Witness.Specific.List.Product

Methods

getRepWitness :: Subrepresentative (ListProductType w) (ListProductType w)

Representative w => Is (ListProductType w :: Type -> Type) ()

Defined in Data.Type.Witness.Specific.List.Product

Methods

representative :: ListProductType w ()

(Is w a, Is (ListProductType w) ar) => Is (ListProductType w :: Type -> Type) ((a, ar) :: Type)

Defined in Data.Type.Witness.Specific.List.Product

Methods

representative :: ListProductType w (a, ar)