Safe Haskell | None |
---|
Documentation
paramWith :: (Natural rank, Natural (FromUnary rank), Natural (FromUnary rank :*: SizeOf Size)) => T p (T tag rank) -> (forall parameters. MV parameters => (p -> parameters) -> (forall val. Value val => T parameters -> val (T tag rank)) -> a) -> aSource
tunnel :: (Natural rank, Natural (FromUnary rank), Natural (FromUnary rank :*: SizeOf Size)) => T p (T tag rank) -> Tunnel p (T tag rank)Source
Natural rank => Storable (T tag rank) | |
(~ * tag ShapeTag, Natural rank) => C (T tag rank) | |
(~ * tag ShapeTag, Natural rank) => Indexed (T tag rank) | |
(Natural rank, Natural (FromUnary rank), Natural (:*: (FromUnary rank) (SizeOf Size))) => C (T tag rank) | |
(Natural rank, Natural (FromUnary rank), Natural (:*: (FromUnary rank) (SizeOf Size))) => MV (T tag rank) | |
Natural rank => C (T tag rank) | |
Natural rank => Value (T tag rank) | |
(~ * tag ShapeTag, ~ * rank Zero) => Scalar (T tag rank) | |
(~ * tag ShapeTag, Natural rank) => C (T tag rank) |
!tail :. !head |
(Eq tail, Eq head) => Eq (:. tail head) | |
(Ord tail, Ord head) => Ord (:. tail head) | |
(Read tail, Read head) => Read (:. tail head) | |
(Show tail, Show head) => Show (:. tail head) | |
(Compose sh, ~ * (Composed sh) (T (Tag (Composed sh)) (Rank (Composed sh))), Compose s, ~ * (Composed s) Int) => Compose (:. sh s) | |
(Decompose sh, Decompose s, ~ * (Decomposed Exp s) (Exp Int), ~ * (PatternTuple s) Int, ~ * (PatternTuple sh) (T (AtomTag sh) (AtomRank sh)), Natural (AtomRank sh)) => Decompose (:. sh s) |