Data.Roles

Documentation

class Representational (t :: k1 -> k2) where

Minimal complete definition

Nothing

Methods

rep :: Coercion a b -> Coercion (t a) (t b)

An argument is representational if you can lift a coercion of the argument into one of the whole

default rep :: Phantom t => Coercion a b -> Coercion (t a) (t b)

Instances

Representational (Proxy :: k1 -> Type)

Defined in Data.Roles

Methods

rep :: forall (a :: k10) (b :: k10). Coercion a b -> Coercion (Proxy a) (Proxy b)

Representational (Coercion a :: k1 -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k10) (b :: k10). Coercion a0 b -> Coercion (Coercion a a0) (Coercion a b)

Representational (Const a :: k1 -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k10) (b :: k10). Coercion a0 b -> Coercion (Const a a0) (Const a b)

Representational (Coercion :: k1 -> k1 -> Type)

Defined in Data.Roles

Methods

rep :: forall (a :: k10) (b :: k10). Coercion a b -> Coercion (Coercion a) (Coercion b)

Representational []

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion [a] [b]

Representational Maybe

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Maybe a) (Maybe b)

Representational IO

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (IO a) (IO b)

Representational Complex

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Complex a) (Complex b)

Representational First

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (First a) (First b)

Representational Last

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Last a) (Last b)

Representational Dual

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Dual a) (Dual b)

Representational Endo

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Endo a) (Endo b)

Representational Sum

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Sum a) (Sum b)

Representational Product

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Product a) (Product b)

Representational IntMap

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (IntMap a) (IntMap b)

Representational (Either a :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b :: k1). Coercion a0 b -> Coercion (Either a a0) (Either a b)

Representational ((,) a :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b :: k1). Coercion a0 b -> Coercion (a, a0) (a, b)

Representational (ST s :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (ST s a) (ST s b)

Representational (Map k :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Map k a) (Map k b)

Representational ((,,) a b :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion (a, b, a0) (a, b, b0)

Representational ((->) a :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b :: k1). Coercion a0 b -> Coercion (a -> a0) (a -> b)

Representational ((,,,) a b c :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion (a, b, c, a0) (a, b, c, b0)

Representational ((,,,,) a b c d :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion (a, b, c, d, a0) (a, b, c, d, b0)

Representational ((,,,,,) a b c d e :: Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion (a, b, c, d, e, a0) (a, b, c, d, e, b0)

Representational (,,,,,)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion ((,,,,,) a) ((,,,,,) b)

Representational (,,,,)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion ((,,,,) a) ((,,,,) b)

Representational (,,,)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion ((,,,) a) ((,,,) b)

Representational (,,)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion ((,,) a) ((,,) b)

Representational Either

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Either a) (Either b)

Representational (,)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion ((,) a) ((,) b)

Representational ((,,,,,) a :: Type -> Type -> Type -> Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b :: k1). Coercion a0 b -> Coercion ((,,,,,) a a0) ((,,,,,) a b)

Representational ((,,,,) a :: Type -> Type -> Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b :: k1). Coercion a0 b -> Coercion ((,,,,) a a0) ((,,,,) a b)

Representational ((,,,) a :: Type -> Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b :: k1). Coercion a0 b -> Coercion ((,,,) a a0) ((,,,) a b)

Representational ((,,) a :: Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b :: k1). Coercion a0 b -> Coercion ((,,) a a0) ((,,) a b)

Representational (Const :: Type -> k -> Type)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion (Const a) (Const b)

Representational ((,,,,,) a b :: Type -> Type -> Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion ((,,,,,) a b a0) ((,,,,,) a b b0)

Representational ((,,,,) a b :: Type -> Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion ((,,,,) a b a0) ((,,,,) a b b0)

Representational ((->) :: Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a :: k1) (b :: k1). Coercion a b -> Coercion ((->) a) ((->) b)

Representational ((,,,) a b :: Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion ((,,,) a b a0) ((,,,) a b b0)

Representational ((,,,,,) a b c :: Type -> Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion ((,,,,,) a b c a0) ((,,,,,) a b c b0)

Representational ((,,,,) a b c :: Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion ((,,,,) a b c a0) ((,,,,) a b c b0)

Representational ((,,,,,) a b c d :: Type -> Type -> Type)

Defined in Data.Roles

Methods

rep :: forall (a0 :: k1) (b0 :: k1). Coercion a0 b0 -> Coercion ((,,,,,) a b c d a0) ((,,,,,) a b c d b0)

class Representational t => Phantom (t :: k1 -> k2) where

Minimal complete definition

Nothing

Methods

phantom :: Coercion (t a) (t b)

An argument is phantom if you can coerce the whole ignoring the argument

default phantom :: Coercible (t a) (t b) => Coercion (t a) (t b)

Instances

Phantom (Proxy :: k1 -> Type)

Defined in Data.Roles

Methods

phantom :: forall (a :: k10) (b :: k10). Coercion (Proxy a) (Proxy b)

Phantom (Const a :: k1 -> Type)

Defined in Data.Roles

Methods

phantom :: forall (a0 :: k10) (b :: k10). Coercion (Const a a0) (Const a b)