Modulebarbies-2.1.1.0

Barbies.Bare

valuebcoverWith

valuebstripFrom

classclass FunctorB (b Covered) => BareB (b :: Type -> (Type -> Type) -> Type) where

datadata Bare

Instances3GBare

BareB b => GBare 0 (Rec (b Covered (P 0 Identity)) (b Covered Identity)) (Rec (b Bare (P 0 Identity)) (b Bare Identity))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
(Functor h, BareB b) => GBare 0 (Rec (h (b Covered (P 0 Identity))) (h (b Covered Identity))) (Rec (h (b Bare (P 0 Identity))) (h (b Bare Identity)))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
(Functor h, Functor m, BareB b) => GBare 0 (Rec (m (h (b Covered (P 0 Identity)))) (m (h (b Covered Identity)))) (Rec (m (h (b Bare (P 0 Identity)))) (m (h (b Bare Identity))))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan

datadata Covered

Instances3GBare

BareB b => GBare 0 (Rec (b Covered (P 0 Identity)) (b Covered Identity)) (Rec (b Bare (P 0 Identity)) (b Bare Identity))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
(Functor h, BareB b) => GBare 0 (Rec (h (b Covered (P 0 Identity))) (h (b Covered Identity))) (Rec (h (b Bare (P 0 Identity))) (h (b Bare Identity)))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan
(Functor h, Functor m, BareB b) => GBare 0 (Rec (m (h (b Covered (P 0 Identity)))) (m (h (b Covered Identity)))) (Rec (m (h (b Bare (P 0 Identity)))) (m (h (b Bare Identity))))Defined in barbies-2.1.1.0 · Barbies.Internal.BareB · orphan

familytype family Wear t (f :: Type -> Type) a where

Wear Bare f a = a
Wear Covered f a = f a
Wear (Param _1 t) f a = Wear t f a
Wear t _1 _2 = TypeError (('Text "`Wear` should only be used with " ':<>: 'Text "`Bare` or `Covered`.") ':$$: ((('Text "`" ':<>: 'ShowType t) ':<>: 'Text "`") ':<>: 'Text " is not allowed in this context."))

familytype family WearTwo t (f :: Type -> Type) (g :: Type -> Type) a where

WearTwo Bare f g a = a
WearTwo Covered f g a = f (g a)
WearTwo (Param _1 t) f g a = WearTwo t f g a
WearTwo t _1 _2 _3 = TypeError (('Text "`WearTwo` should only be used with " ':<>: 'Text "`Bare` or `Covered`.") ':$$: ((('Text "`" ':<>: 'ShowType t) ':<>: 'Text "`") ':<>: 'Text " is not allowed in this context."))