Safe Haskell	None
Language	Haskell2010

UVMHS.Core.VectorStatic

Documentation

(⋅) :: forall (n :: 𝐍) a. (𝒩 n, Additive a, Times a) => 𝕍S n a -> 𝕍S n a -> a infixl 6 Source #

(✖) :: forall (m :: 𝐍) (n :: 𝐍) (o :: 𝐍) a. (𝒩 m, 𝒩 n, 𝒩 o, Additive a, Times a) => 𝕍S m (𝕍S o a) -> 𝕍S n (𝕍S o a) -> 𝕍S m (𝕍S n a) infixl 6 Source #

newtype 𝕍SV (n :: 𝐍) a Source #

Constructors

𝕍SV
Fields un𝕍SV :: 𝕀64 n -> a

Instances

Instances details

Functor (𝕍SV n) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods map :: (a -> b) -> 𝕍SV n a -> 𝕍SV n b Source #
Access (𝕀64 n) a (𝕍SV n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕) :: 𝕍SV n a -> 𝕀64 n -> a Source #

newtype 𝕍S (n :: k) a Source #

Constructors

𝕍S_UNSAFE
Fields un𝕍S :: Vector a

Instances

Instances details

Lookup ℕ64 a (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕?) :: 𝕍S n a -> ℕ64 -> 𝑂 a Source #
ToIter a (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods iter :: 𝕍S n a -> 𝐼 a Source #
Access (𝕀64 n) a (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕) :: 𝕍S n a -> 𝕀64 n -> a Source #
𝒩 n => Functor (𝕍S n) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods map :: (a -> b) -> 𝕍S n a -> 𝕍S n b Source #
Show a => Show (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods showsPrec :: Int -> 𝕍S n a -> ShowS # show :: 𝕍S n a -> String # showList :: [𝕍S n a] -> ShowS #
Eq a => Eq (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (==) :: 𝕍S n a -> 𝕍S n a -> Bool # (/=) :: 𝕍S n a -> 𝕍S n a -> Bool #
Ord a => Ord (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods compare :: 𝕍S n a -> 𝕍S n a -> Ordering # (<) :: 𝕍S n a -> 𝕍S n a -> Bool # (<=) :: 𝕍S n a -> 𝕍S n a -> Bool # (>) :: 𝕍S n a -> 𝕍S n a -> Bool # (>=) :: 𝕍S n a -> 𝕍S n a -> Bool # max :: 𝕍S n a -> 𝕍S n a -> 𝕍S n a # min :: 𝕍S n a -> 𝕍S n a -> 𝕍S n a #
(𝒩 n, One a) => One (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods one :: 𝕍S n a Source #
(𝒩 n, Plus a) => Plus (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (+) :: 𝕍S n a -> 𝕍S n a -> 𝕍S n a Source #
(𝒩 n, Times a) => Times (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (×) :: 𝕍S n a -> 𝕍S n a -> 𝕍S n a Source #
(𝒩 n, Zero a) => Zero (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods zero :: 𝕍S n a Source #
(𝒩 n, Null a) => Null (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods null :: 𝕍S n a Source #
Pretty a => Pretty (𝕍S n a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: 𝕍S n a -> Doc Source #

iter𝕍S :: forall {k} (n :: k) a. 𝕍S n a -> 𝐼 a Source #

show𝕍S :: forall {k} a (n :: k). Show a => 𝕍S n a -> 𝕊 Source #

idx𝕍S :: forall (n :: 𝐍) a. 𝕀64 n -> 𝕍S n a -> a Source #

idxChecked𝕍S :: forall {k} (n :: k) a. ℕ64 -> 𝕍S n a -> 𝑂 a Source #

null𝕍S :: forall (n :: 𝐍) a. (𝒩 n, Null a) => ℕ64S n -> 𝕍S n a Source #

map𝕍S :: forall (n :: 𝐍) a b. 𝒩 n => (a -> b) -> 𝕍S n a -> 𝕍S n b Source #

const𝕍S :: forall (n :: 𝐍) a. 𝒩 n => ℕ64S n -> a -> 𝕍S n a Source #

svecF :: forall (n :: 𝐍) a. 𝒩 n => ℕ64S n -> (𝕀64 n -> a) -> 𝕍S n a Source #

svec :: forall (n :: 𝐍) a. 𝒩 n => 𝐼S n a -> 𝕍S n a Source #

iter𝕍SS :: forall (n :: 𝐍) a. 𝕍S n a -> 𝐼S n a Source #

svirt :: forall (n :: 𝐍) a. 𝒩 n => 𝕍S n a -> 𝕍SV n a Source #

svirt2 :: forall (m :: 𝐍) (n :: 𝐍) a. (𝒩 m, 𝒩 n) => 𝕍S m (𝕍S n a) -> 𝕍SV m (𝕍SV n a) Source #

sconc :: forall (n :: 𝐍) a. 𝒩 n => ℕ64S n -> 𝕍SV n a -> 𝕍S n a Source #

sconc2 :: forall (m :: 𝐍) (n :: 𝐍) a. (𝒩 m, 𝒩 n) => ℕ64S m -> ℕ64S n -> 𝕍SV m (𝕍SV n a) -> 𝕍S m (𝕍S n a) Source #

𝐭 :: forall (m :: 𝐍) (n :: 𝐍) a. (𝒩 m, 𝒩 n) => 𝕍S m (𝕍S n a) -> 𝕍S n (𝕍S m a) Source #

d𝕍 :: 𝕍 a -> (forall (n :: 𝐍). 𝒩64 n => 𝕍S n a -> b) -> b Source #

newtype 𝕌S (n :: k) a Source #

Constructors

𝕌S_UNSAFE
Fields un𝕌S :: Vector a

Instances

Instances details

Storable a => Lookup ℕ64 a (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕?) :: 𝕌S n a -> ℕ64 -> 𝑂 a Source #
Storable a => ToIter a (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods iter :: 𝕌S n a -> 𝐼 a Source #
Storable a => Access (𝕀64 n) a (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕) :: 𝕌S n a -> 𝕀64 n -> a Source #
(Storable a, Show a) => Show (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods showsPrec :: Int -> 𝕌S n a -> ShowS # show :: 𝕌S n a -> String # showList :: [𝕌S n a] -> ShowS #
(Storable a, Eq a) => Eq (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (==) :: 𝕌S n a -> 𝕌S n a -> Bool # (/=) :: 𝕌S n a -> 𝕌S n a -> Bool #
(Storable a, Ord a) => Ord (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods compare :: 𝕌S n a -> 𝕌S n a -> Ordering # (<) :: 𝕌S n a -> 𝕌S n a -> Bool # (<=) :: 𝕌S n a -> 𝕌S n a -> Bool # (>) :: 𝕌S n a -> 𝕌S n a -> Bool # (>=) :: 𝕌S n a -> 𝕌S n a -> Bool # max :: 𝕌S n a -> 𝕌S n a -> 𝕌S n a # min :: 𝕌S n a -> 𝕌S n a -> 𝕌S n a #
(𝒩 n, Storable a, Null a) => Null (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods null :: 𝕌S n a Source #
(Storable a, Pretty a) => Pretty (𝕌S n a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: 𝕌S n a -> Doc Source #

iter𝕌S :: forall {k} a (n :: k). Storable a => 𝕌S n a -> 𝐼 a Source #

show𝕌S :: forall {k} a (n :: k). (Storable a, Show a) => 𝕌S n a -> 𝕊 Source #

idx𝕌S :: forall a (n :: 𝐍). Storable a => 𝕀64 n -> 𝕌S n a -> a Source #

idxChecked𝕌S :: forall {k} a (n :: k). Storable a => ℕ64 -> 𝕌S n a -> 𝑂 a Source #

null𝕌S :: forall (n :: 𝐍) a. (𝒩 n, Storable a, Null a) => ℕ64S n -> 𝕌S n a Source #

suvec :: forall (n :: 𝐍) a. (𝒩 n, Storable a) => 𝐼S n a -> 𝕌S n a Source #

suvecF :: forall (n :: 𝐍) a. (𝒩 n, Storable a) => ℕ64S n -> (𝕀64 n -> a) -> 𝕌S n a Source #

iter𝕌SS :: forall a (n :: 𝐍). Storable a => 𝕌S n a -> 𝐼S n a Source #

map𝕌S :: forall (n :: 𝐍) a b. (𝒩 n, Storable a, Storable b) => (a -> b) -> 𝕌S n a -> 𝕌S n b Source #

d𝕌 :: Storable a => 𝕌 a -> (forall (n :: 𝐍). 𝒩64 n => 𝕌S n a -> b) -> b Source #

data 𝕄S (ns :: [𝐍]) a where Source #

Constructors

Nil𝕄S :: forall a. a -> 𝕄S ('[] :: [𝐍]) a
Cons𝕄S :: forall (n :: 𝐍) (ns1 :: [𝐍]) a. 𝕍S n (𝕄S ns1 a) -> 𝕄S (n ': ns1) a

Instances

Instances details

(AllC 𝒩 ns, Plus a) => Plus (𝕄S ns a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (+) :: 𝕄S ns a -> 𝕄S ns a -> 𝕄S ns a Source #
(AllC 𝒩 ns, Times a) => Times (𝕄S ns a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (×) :: 𝕄S ns a -> 𝕄S ns a -> 𝕄S ns a Source #
(HasSpine ns, AllC 𝒩 ns, Zero a) => Zero (𝕄S ns a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods zero :: 𝕄S ns a Source #

zero𝕄S :: forall (ns :: [𝐍]) a. (AllC 𝒩 ns, Zero a) => Spine ns -> 𝕄S ns a Source #

mapUnder𝕄S :: forall (ns :: [𝐍]) (ms₁ :: [𝐍]) a (ms₂ :: [𝐍]) b. AllC 𝒩 ns => Spine ns -> (𝕄S ms₁ a -> 𝕄S ms₂ b) -> 𝕄S (ns ⧺ ms₁) a -> 𝕄S (ns ⧺ ms₂) b Source #

module Foreign.Storable