witness-0.7: values that witness types
Safe HaskellNone
LanguageGHC2021

Data.Type.Witness.Specific.All

Documentation

newtype AllFor (f :: k -> Type) (w :: k -> Type) Source #

Constructors

MkAllFor 

Fields

  • unAllFor :: forall (t :: k). w t -> f t
     

mapAllFor :: forall {k} f1 f2 (w :: k -> Type). (forall (a :: k). f1 a -> f2 a) -> AllFor f1 w -> AllFor f2 w Source #

newtype AllOf (w :: Type -> Type) Source #

Constructors

MkAllOf 

Fields

Instances

Instances details
(FiniteWitness w, AllConstraint Show w, WitnessConstraint Show w) => Show (AllOf w) Source # 
Instance details

Defined in Data.Type.Witness.General.Finite

Methods

showsPrec :: Int -> AllOf w -> ShowS #

show :: AllOf w -> String #

showList :: [AllOf w] -> ShowS #

setAllOf :: TestEquality w => w a -> a -> AllOf w -> AllOf w Source #

allForToAllOf :: forall (w :: Type -> Type). AllFor Identity w -> AllOf w Source #

allOfToAllFor :: forall (w :: Type -> Type). AllOf w -> AllFor Identity w Source #

allMapSome :: forall {k} (f :: k -> Type) (w :: k -> Type) (g :: k -> Type). AllFor f w -> SomeFor g w -> SomeFor g f Source #

type family UnAllOf aw :: Type -> Type where ... Source #

Equations

UnAllOf (AllOf w) = w 

splitSomeOfList :: forall (w :: Type -> Type). TestEquality w => [SomeOf w] -> AllFor [] w Source #

allForWitnessConstraint :: forall k (c :: k -> Constraint) (w :: k -> Type). WitnessConstraint c w => AllFor (Compose Dict c) w Source #