Safe Haskell	None
Language	Haskell2010

Proarrow.Category.Instance.List

Synopsis

data LIST k = L [k]
data List (as :: LIST k) (bs :: LIST k) where
- Nil :: forall {k}. List ('L ('[] :: [k])) ('L ('[] :: [k]))
- Cons :: forall {k} (as1 :: [k]) (bs1 :: [k]) (a :: k) (b :: k). (IsList as1, IsList bs1) => (a ~> b) -> List ('L as1) ('L bs1) -> List ('L (a ': as1)) ('L (b ': bs1))
mkCons :: forall k (a :: k) (b :: k) (as :: [k]) (bs :: [k]). CategoryOf k => (a ~> b) -> ('L as ~> 'L bs) -> 'L (a ': as) ~> 'L (b ': bs)
class IsList (as :: [k]) where
- listId :: List ('L as) ('L as)

Documentation

data LIST k Source Comments #

Constructors

L [k]

Instances

Instances details

CategoryOf k => Monoidal (LIST k) Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

Associated Types

type Unit
Instance details Defined in Proarrow.Category.Instance.List type Unit = 'L ('[] :: [k])

Methods

par :: forall (a :: LIST k) (b :: LIST k) (c :: LIST k) (d :: LIST k). (a ~> b) -> (c ~> d) -> (a ** c) ~> (b ** d) Source Comments #

leftUnitor :: forall (a :: LIST k). Obj a -> ((Unit :: LIST k) ** a) ~> a Source Comments #

leftUnitorInv :: forall (a :: LIST k). Obj a -> a ~> ((Unit :: LIST k) ** a) Source Comments #

rightUnitor :: forall (a :: LIST k). Obj a -> (a ** (Unit :: LIST k)) ~> a Source Comments #

rightUnitorInv :: forall (a :: LIST k). Obj a -> a ~> (a ** (Unit :: LIST k)) Source Comments #

associator :: forall (a :: LIST k) (b :: LIST k) (c :: LIST k). Obj a -> Obj b -> Obj c -> ((a ** b) ** c) ~> (a ** (b ** c)) Source Comments #

associatorInv :: forall (a :: LIST k) (b :: LIST k) (c :: LIST k). Obj a -> Obj b -> Obj c -> (a ** (b ** c)) ~> ((a ** b) ** c) Source Comments #

CategoryOf k => CategoryOf (LIST k) Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

Associated Types

type (~>)
Instance details Defined in Proarrow.Category.Instance.List type (~>) = List :: LIST k -> LIST k -> Type

CategoryOf k => Promonad (List :: LIST k -> LIST k -> Type) Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

Methods

id :: forall (a :: LIST k). Ob a => List a a Source Comments #

(.) :: forall (b :: LIST k) (c :: LIST k) (a :: LIST k). List b c -> List a b -> List a c Source Comments #

CategoryOf k => Profunctor (List :: LIST k -> LIST k -> Type) Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

Methods

dimap :: forall (c :: LIST k) (a :: LIST k) (b :: LIST k) (d :: LIST k). (c ~> a) -> (b ~> d) -> List a b -> List c d Source Comments #

(\\) :: forall (a :: LIST k) (b :: LIST k) r. ((Ob a, Ob b) => r) -> List a b -> r Source Comments #

type Unit Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

type Unit = 'L ('[] :: [k])

type (~>) Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

type (~>) = List :: LIST k -> LIST k -> Type

type Ob (as :: LIST k) Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

type Ob (as :: LIST k) = (Is ('L :: [k] -> LIST k) as, IsList (UN ('L :: [k] -> LIST k) as))

type (p :: LIST k) ** (q :: LIST k) Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

type (p :: LIST k) ** (q :: LIST k) = 'L (UN ('L :: [k] -> LIST k) p ++ UN ('L :: [k] -> LIST k) q)

type UN ('L :: [k] -> LIST k) ('L as :: LIST k) Source Comments #

Instance details

Defined in Proarrow.Category.Instance.List

type UN ('L :: [k] -> LIST k) ('L as :: LIST k) = as

data List (as :: LIST k) (bs :: LIST k) where Source Comments #

The free monoid in CAT

Constructors

Nil :: forall {k}. List ('L ('[] :: [k])) ('L ('[] :: [k]))
Cons :: forall {k} (as1 :: [k]) (bs1 :: [k]) (a :: k) (b :: k). (IsList as1, IsList bs1) => (a ~> b) -> List ('L as1) ('L bs1) -> List ('L (a ': as1)) ('L (b ': bs1))

Instances

Instances details

CategoryOf k => Promonad (List :: LIST k -> LIST k -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.List Methods id :: forall (a :: LIST k). Ob a => List a a Source Comments # (.) :: forall (b :: LIST k) (c :: LIST k) (a :: LIST k). List b c -> List a b -> List a c Source Comments #
CategoryOf k => Profunctor (List :: LIST k -> LIST k -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.List Methods dimap :: forall (c :: LIST k) (a :: LIST k) (b :: LIST k) (d :: LIST k). (c ~> a) -> (b ~> d) -> List a b -> List c d Source Comments # (\\) :: forall (a :: LIST k) (b :: LIST k) r. ((Ob a, Ob b) => r) -> List a b -> r Source Comments #

mkCons :: forall k (a :: k) (b :: k) (as :: [k]) (bs :: [k]). CategoryOf k => (a ~> b) -> ('L as ~> 'L bs) -> 'L (a ': as) ~> 'L (b ': bs) Source Comments #

class IsList (as :: [k]) where Source Comments #

Methods

listId :: List ('L as) ('L as) Source Comments #

Instances

Instances details

IsList ('[] :: [k]) Source Comments #
Instance details Defined in Proarrow.Category.Instance.List Methods listId :: List ('L ('[] :: [k])) ('L ('[] :: [k])) Source Comments #
(CategoryOf k, Ob a, IsList as) => IsList (a ': as :: [k]) Source Comments #
Instance details Defined in Proarrow.Category.Instance.List Methods listId :: List ('L (a ': as)) ('L (a ': as)) Source Comments #