Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- class (Bifunctor p, Dom p ~ Dom2 p, Dom p ~ Cod2 p) => Semitensor p where
- type family I p :: i
- class Semitensor p => Tensor' p where
- class (Monoid' p (I p), Tensor' p) => Tensor p
- semitensorClosed :: forall c t x y. (Semitensor t, Category c, Dom t ~ c, Ob c x, Ob c y) => Dict (Ob c (t x y))
- class Semitensor p => Semigroup p m where
- class (Semigroup p m, Tensor' p) => Monoid' p m where
- class (Monoid' p (I p), Comonoid' p (I p), Tensor' p, Monoid' p m) => Monoid p m
- class Semitensor p => Cosemigroup p w where
- class (Cosemigroup p w, Tensor' p) => Comonoid' p w where
- class (Monoid' p (I p), Comonoid' p (I p), Tensor' p, Comonoid' p w) => Comonoid p w
Tensors
class (Bifunctor p, Dom p ~ Dom2 p, Dom p ~ Cod2 p) => Semitensor p where Source
associate :: (Ob (Dom p) a, Ob (Dom p) b, Ob (Dom p) c, Ob (Dom p) a', Ob (Dom p) b', Ob (Dom p) c') => Iso (Dom p) (Dom p) (->) (p (p a b) c) (p (p a' b') c') (p a (p b c)) (p a' (p b' c')) Source
Semitensor * Either | |
Semitensor * (,) | |
(Semitensor k t, (~) (k -> k -> *) (Dom k (k -> k) t) c, Category k c) => Semitensor (k -> *) (Day k t) | |
(Composed i c, (~) (i -> i -> *) c c', (~) (i -> i -> *) c' c'') => Semitensor (i -> i) (Compose i i i c c' c'') |
class Semitensor p => Tensor' p where Source
semitensorClosed :: forall c t x y. (Semitensor t, Category c, Dom t ~ c, Ob c x, Ob c y) => Dict (Ob c (t x y)) Source
Monoids
class Semitensor p => Semigroup p m where Source
Comonoids (Opmonoids)
class Semitensor p => Cosemigroup p w where Source
Cosemigroup * Either Void | |
Cosemigroup * (,) a | |
(Identified k c, Composed k c) => Cosemigroup (k -> k) (Compose k k k c c c) (Id k c) |
class (Cosemigroup p w, Tensor' p) => Comonoid' p w where Source