Data.Ten.Representable

Provides an analog of Representable over arity-1 type constructors.

Documentation

class Applicative10 f => Representable10 (f :: (k -> Type) -> Type) where

Analog of Representable over arity-1 type constructors.

If f is Representable10, then a value of type f m is isomorphic to a function forall a. Rep10 f a -> m a. This essentially means it can be thought of as a fixed-shape record with a wrapper type applied to all of its fields.

This is also equivalent to a total dependent map from Rep10 f to m ("total" meaning that every "key" has a "value").

Associated Types

type Rep10 f :: k -> Type

The "index" type of an f "container".

This is a type that behaves like a GADT, with a value for each possible "position" of an m a in f m and the parameter type(s) a it can have.

Methods

index10 :: f m -> Rep10 f a -> m a

Given an f m and a Rep10 f a "index" into it, extract the m a.

tabulate10 :: (forall a. Rep10 f a -> m a) -> f m

Build an f m by applying a parametric function to each "index".

Instances

Representable10 (Ap10 a :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Associated Types

type Rep10 (Ap10 a) :: k -> Type

Methods

index10 :: forall m (a0 :: k0). Ap10 a m -> Rep10 (Ap10 a) a0 -> m a0

tabulate10 :: (forall (a0 :: k0). Rep10 (Ap10 a) a0 -> m a0) -> Ap10 a m

Foldable10 f => Foldable10 (Wrapped1 (Representable10 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type)

Superclass appeasement; deriving via this will give infinite loops; don't!

Defined in Data.Ten.Representable

Methods

foldMap10 :: Monoid w => (forall (a :: k0). m a -> w) -> Wrapped1 Representable10 f m -> w

Functor10 f => Functor10 (Wrapped1 (Representable10 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type)

Superclass appeasement; deriving via this will give infinite loops; don't!

Defined in Data.Ten.Representable

Methods

fmap10 :: (forall (a :: k0). m a -> n a) -> Wrapped1 Representable10 f m -> Wrapped1 Representable10 f n

Representable10 f => Functor10WithIndex (Wrapped1 (Representable10 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Methods

imap10 :: (forall (a :: k0). Index10 (Wrapped1 Representable10 f) a -> m a -> n a) -> Wrapped1 Representable10 f m -> Wrapped1 Representable10 f n

(Representable10 f, Foldable10 f) => Foldable10WithIndex (Wrapped1 (Representable10 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Methods

ifoldMap10 :: Monoid w => (forall (a :: k0). Index10 (Wrapped1 Representable10 f) a -> m a -> w) -> Wrapped1 Representable10 f m -> w

Traversable10 f => Traversable10 (Wrapped1 (Representable10 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type)

Superclass appeasement; deriving via this will give infinite loops; don't!

Defined in Data.Ten.Representable

Methods

mapTraverse10 :: forall f0 m n r. Applicative f0 => (Wrapped1 Representable10 f n -> r) -> (forall (a :: k0). m a -> f0 (n a)) -> Wrapped1 Representable10 f m -> f0 r

(Representable10 f, Traversable10 f) => Traversable10WithIndex (Wrapped1 (Representable10 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Methods

imapTraverse10 :: Applicative g => (Wrapped1 Representable10 f n -> r) -> (forall (a :: k0). Index10 (Wrapped1 Representable10 f) a -> m a -> g (n a)) -> Wrapped1 Representable10 f m -> g r

(Generic1 rec, Applicative10 (Rep1 rec), GTabulate10 (Rep1 rec)) => Representable10 (Wrapped1 (Generic1 :: ((k -> Type) -> Type) -> Constraint) rec :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Associated Types

type Rep10 (Wrapped1 Generic1 rec) :: k -> Type

Methods

index10 :: forall m (a :: k0). Wrapped1 Generic1 rec m -> Rep10 (Wrapped1 Generic1 rec) a -> m a

tabulate10 :: (forall (a :: k0). Rep10 (Wrapped1 Generic1 rec) a -> m a) -> Wrapped1 Generic1 rec m

type Index10 (Wrapped1 (Representable10 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

type Index10 (Wrapped1 (Representable10 :: ((k -> Type) -> Type) -> Constraint) f :: (k -> Type) -> Type) = Rep10 f

rep10' :: Representable10 f => (f (Rep10 f) -> Rep10 f a) -> Rep10 f a

Turn a record field selector into a Rep10.

See also rep10.

field10' :: Representable10 rec => (rec (Rep10 rec) -> Ap10 a (Rep10 rec)) -> Rep10 rec a

Turn a record field selector targeting Ap10 into a Rep10.

See also rep10.

distributeRep10 :: (Representable10 f, Functor w) => w (f m) -> f (w :.: m)

Analog of distributeRep for Representable10.

Pulls a fixed record shape to the outside of any functor.

collectRep10 :: (Representable10 f, Functor w) => (a -> f m) -> w a -> f (w :.: m)

Analog of collectRep for Representable10.

Gathers a fixed record shape mapped over the elements of any functor.

class GTabulate10 (rec :: (k -> Type) -> Type) where

The Generic1 implementation of tabulate10 based on Field10.

Methods

gtabulate10 :: (forall a. Field10 rec a -> r a) -> rec r

Instances

GTabulate10 (U1 :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Methods

gtabulate10 :: (forall (a :: k0). Field10 U1 a -> r a) -> U1 r

Representable10 rec => GTabulate10 (Rec1 rec :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Methods

gtabulate10 :: (forall (a :: k0). Field10 (Rec1 rec) a -> r a) -> Rec1 rec r

(GTabulate10 f, GTabulate10 g) => GTabulate10 (f :*: g :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Methods

gtabulate10 :: (forall (a :: k0). Field10 (f :*: g) a -> r a) -> (f :*: g) r

(Representable f, GTabulate10 g) => GTabulate10 (f :.: g :: (k -> Type) -> Type)

Defined in Data.Ten.Representable

Methods

gtabulate10 :: (forall (a :: k0). Field10 (f :.: g) a -> r a) -> (f :.: g) r

GTabulate10 rec => GTabulate10 (M1 k2 i rec :: (k1 -> Type) -> Type)

Defined in Data.Ten.Representable

Methods

gtabulate10 :: (forall (a :: k). Field10 (M1 k2 i rec) a -> r a) -> M1 k2 i rec r

index10C :: forall c f a r m. (Representable10 f, Entails (Rep10 f) c) => f m -> Rep10 f a -> (c a => m a -> r) -> r

Access an element along with an instance for its type parameter.