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)

Defined in Data.Barbie.Internal.Instances

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 :: * -> *)

Defined in Data.Barbie.Internal.Bare

Methods

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

Gbstrip (U1 :: * -> *)

Defined in Data.Barbie.Internal.Bare

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 :: * -> *)

Defined in Data.Barbie.Internal.Bare

Methods

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

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

Defined in Data.Barbie.Internal.Bare

Methods

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

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

Defined in Data.Barbie.Internal.Bare

Methods

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

Gbstrip x => Gbstrip (M1 i c x)

Defined in Data.Barbie.Internal.Bare

Methods

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

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))))