Functor (AbstractSimplex v) => Functor (AbstractSimplex (ℝ, v)) Source # | |
|
Functor (AbstractSimplex (Needle (f p), Needle (g p))) => Functor (AbstractSimplex (NeedleProductSpace f g p)) Source # | |
|
Functor (AbstractSimplex (Rep m ())) => Functor (AbstractSimplex (GenericNeedle m)) Source # | |
|
Functor (AbstractSimplex ℝ) Source # | |
|
Functor (AbstractSimplex ℝ⁰) Source # | |
|
Functor (AbstractSimplex ℝ⁴) Source # | |
|
Functor (AbstractSimplex ℝ³) Source # | |
|
Functor (AbstractSimplex ℝ²) Source # | |
|
Functor (AbstractSimplex ℝ¹) Source # | |
|
Applicative (AbstractSimplex ℝ⁰) Source # | |
|
Foldable (AbstractSimplex v) => Foldable (AbstractSimplex (ℝ, v)) Source # | |
Methods fold :: Monoid m => AbstractSimplex (ℝ, v) m -> m # foldMap :: Monoid m => (a -> m) -> AbstractSimplex (ℝ, v) a -> m # foldr :: (a -> b -> b) -> b -> AbstractSimplex (ℝ, v) a -> b # foldr' :: (a -> b -> b) -> b -> AbstractSimplex (ℝ, v) a -> b # foldl :: (b -> a -> b) -> b -> AbstractSimplex (ℝ, v) a -> b # foldl' :: (b -> a -> b) -> b -> AbstractSimplex (ℝ, v) a -> b # foldr1 :: (a -> a -> a) -> AbstractSimplex (ℝ, v) a -> a # foldl1 :: (a -> a -> a) -> AbstractSimplex (ℝ, v) a -> a # toList :: AbstractSimplex (ℝ, v) a -> [a] # null :: AbstractSimplex (ℝ, v) a -> Bool # length :: AbstractSimplex (ℝ, v) a -> Int # elem :: Eq a => a -> AbstractSimplex (ℝ, v) a -> Bool # maximum :: Ord a => AbstractSimplex (ℝ, v) a -> a # minimum :: Ord a => AbstractSimplex (ℝ, v) a -> a # sum :: Num a => AbstractSimplex (ℝ, v) a -> a # product :: Num a => AbstractSimplex (ℝ, v) a -> a # |
Foldable (AbstractSimplex (Needle (f p), Needle (g p))) => Foldable (AbstractSimplex (NeedleProductSpace f g p)) Source # | |
|
Foldable (AbstractSimplex (Rep m ())) => Foldable (AbstractSimplex (GenericNeedle m)) Source # | |
|
Foldable (AbstractSimplex ℝ) Source # | |
|
Foldable (AbstractSimplex ℝ⁰) Source # | |
|
Foldable (AbstractSimplex ℝ⁴) Source # | |
|
Foldable (AbstractSimplex ℝ³) Source # | |
|
Foldable (AbstractSimplex ℝ²) Source # | |
|
Foldable (AbstractSimplex ℝ¹) Source # | |
|
Traversable (AbstractSimplex v) => Traversable (AbstractSimplex (ℝ, v)) Source # | |
|
Traversable (AbstractSimplex (Needle (f p), Needle (g p))) => Traversable (AbstractSimplex (NeedleProductSpace f g p)) Source # | |
|
Traversable (AbstractSimplex (Rep m ())) => Traversable (AbstractSimplex (GenericNeedle m)) Source # | |
|
Traversable (AbstractSimplex ℝ) Source # | |
|
Traversable (AbstractSimplex ℝ⁰) Source # | |
|
Traversable (AbstractSimplex ℝ⁴) Source # | |
|
Traversable (AbstractSimplex ℝ³) Source # | |
|
Traversable (AbstractSimplex ℝ²) Source # | |
|
Traversable (AbstractSimplex ℝ¹) Source # | |
|
data AbstractSimplex ℝ Source # | |
|
data AbstractSimplex ℝ⁰ Source # | |
|
data AbstractSimplex ℝ⁴ Source # | |
|
data AbstractSimplex ℝ³ Source # | |
|
data AbstractSimplex ℝ² Source # | |
|
data AbstractSimplex ℝ¹ Source # | |
|
data AbstractSimplex (GenericNeedle m) Source # | |
|
data AbstractSimplex (ℝ, v) Source # | |
|
data AbstractSimplex (NeedleProductSpace f g p) Source # | |
|