Data.Barbie.Internal.Bare

Documentation

type family Wear f a where ...

The Wear type-function allows one to define a Barbie-type as

data B f
  = B { f1 :: Wear f Int
      , f2 :: Wear f Bool
      }

This way, one can use Bare as a phantom that denotes no functor around the typw:

B { f1 :: 5, f2 = True } :: B Bare

Equations

Wear Bare a = a

Wear (Target f) a = Target (W f) a

Wear f a = f a

data Bare a

Bare is the only type such that Wear Bare a ~ a'.

class FunctorB b => BareB b where

Class of Barbie-types defined using Wear and can therefore have Bare versions. Must satisfy:

bcover . bstrip = id
bstrip . bcover = id

Methods

bstrip :: b Identity -> b Bare

bcover :: b Bare -> b Identity

bstrip :: CanDeriveGenericInstance b => b Identity -> b Bare

bcover :: CanDeriveGenericInstance' b => b Bare -> b Identity

Instances

BareB b => BareB (Barbie b)

Methods

bstrip :: Barbie b Identity -> Barbie b Bare

bcover :: Barbie b Bare -> Barbie b Identity

bstripFrom :: BareB b => (forall a. f a -> a) -> b f -> b Bare

Generalization of bstrip to arbitrary functors

bcoverWith :: BareB b => (forall a. a -> f a) -> b Bare -> b f

Generalization of bcover to arbitrary functors

class Gbstrip rep where

Minimal complete definition

gbstrip

Methods

gbstrip :: rep x -> Repl (Target I) (Target B) rep x

Instances

Gbstrip (V1 *)

Methods

gbstrip :: V1 * x -> Repl (Target I) (Target B) (V1 *) x

Gbstrip (U1 *)

Methods

gbstrip :: U1 * x -> Repl (Target I) (Target B) (U1 *) x

(~) (* -> *) (K1 * i c) (Repl (Target I) (Target B) (K1 * i c)) => Gbstrip (K1 * i c)

Methods

gbstrip :: K1 * i c x -> Repl (Target I) (Target B) (K1 * i c) x

(Gbstrip l, Gbstrip r) => Gbstrip ((:+:) * l r)

Methods

gbstrip :: (* :+: l) r x -> Repl (Target I) (Target B) ((* :+: l) r) x

(Gbstrip l, Gbstrip r) => Gbstrip ((:*:) * l r)

Methods

gbstrip :: (* :*: l) r x -> Repl (Target I) (Target B) ((* :*: l) r) x

Gbstrip x => Gbstrip (M1 * i c x)

Methods

gbstrip :: M1 * i c x x -> Repl (Target I) (Target B) (M1 * i c x) x

gbstripDefault :: CanDeriveGenericInstance b => b Identity -> b Bare

Default implementatio of bstrip based on Generic.

gbcoverDefault :: CanDeriveGenericInstance' b => b Bare -> b Identity

Default implementatio of bstrip based on Generic.

type CanDeriveGenericInstance b = (Generic (b (Target I)), Generic (b (Target B)), Gbstrip (Rep (b (Target I))), Rep (b (Target B)) ~ Repl (Target I) (Target B) (Rep (b (Target I))))

All types that admit a generic FunctorB' instance, and have all their occurrences of f under a Wear admit a generic BareB instance.

type CanDeriveGenericInstance' b = (Generic (b (Target I)), Generic (b (Target B)), Gbcover (Rep (b (Target B))), Rep (b (Target I)) ~ Repl (Target B) (Target I) (Rep (b (Target B))))