| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hask.Tensor.Day
Contents
- class FunctorOf c (->) f => CopresheafOf c f
- data Day t f g a where
- Day :: (Dom t ~ c, CopresheafOf c f, CopresheafOf c g, Ob c x, Ob c y) => c (t x y) a -> f x -> g y -> Day t f g a
Day Convolution
class FunctorOf c (->) f => CopresheafOf c f Source
Instances
| FunctorOf k * c (->) f => CopresheafOf k c f |
Constructors
| Day :: (Dom t ~ c, CopresheafOf c f, CopresheafOf c g, Ob c x, Ob c y) => c (t x y) a -> f x -> g y -> Day t f g a |
Instances
| ((~) (k -> k -> *) (Dom k (k -> k) t) c, CopresheafOf k c f, CopresheafOf k c g) => Functor k * (Day k t f g) | |
| (Semitensor k t, (~) (k -> k -> *) (Dom k (k -> k) t) c, Category k c) => Semitensor (k -> *) (Day k t) | |
| ((~) (k -> k -> *) (Dom k (k -> k) t) c, Category k c) => Functor (k -> *) ((k -> *) -> k -> *) (Day k t) | |
| ((~) (k -> k -> *) (Dom k (k -> k) t) c, CopresheafOf k c f) => Functor (k -> *) (k -> *) (Day k t f) | |
| type Dom k * (Day k t f g) = Dom k (k -> k) t | |
| type Cod k * (Day k t f g) = (->) | |
| type Dom (k -> *) ((k -> *) -> k -> *) (Day k t) = Copresheaves k (Dom k (k -> k) t) | |
| type Cod (k -> *) ((k -> *) -> k -> *) (Day k t) = Nat (k -> *) (k -> *) (Copresheaves k (Dom k (k -> k) t)) (Copresheaves k (Dom k (k -> k) t)) | |
| type Dom (k -> *) (k -> *) (Day k t f) = Copresheaves k (Dom k (k -> k) t) | |
| type Cod (k -> *) (k -> *) (Day k t f) = Copresheaves k (Dom k (k -> k) t) |