Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Vector

Documentation

newtype 𝕍 a Source #

Constructors

𝕍
Fields un𝕍 :: Vector a

Instances

Instances details

Functor 𝕍 Source #
Instance details Defined in UVMHS.Core.Vector Methods map :: (a -> b) -> 𝕍 a -> 𝕍 b Source #
FunctorM 𝕍 Source #
Instance details Defined in UVMHS.Core.Vector Methods mapM :: Monad m => (a -> m b) -> 𝕍 a -> m (𝕍 b) Source #
Lookup ℕ64 a (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⋕?) :: 𝕍 a -> ℕ64 -> 𝑂 a Source #
Lift a => Lift (𝕍 a :: Type) Source #
Instance details Defined in UVMHS.Lib.THLiftInstances Methods lift :: Quote m => 𝕍 a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => 𝕍 a -> Code m (𝕍 a) #
Single a (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods single :: a -> 𝕍 a Source #
ToIter a (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods iter :: 𝕍 a -> 𝐼 a Source #
ToIterC a (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods iterC :: 𝕍 a -> 𝐼C a Source #
Show a => Show (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods showsPrec :: Int -> 𝕍 a -> ShowS # show :: 𝕍 a -> String # showList :: [𝕍 a] -> ShowS #
Eq a => Eq (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (==) :: 𝕍 a -> 𝕍 a -> Bool # (/=) :: 𝕍 a -> 𝕍 a -> Bool #
Ord a => Ord (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods compare :: 𝕍 a -> 𝕍 a -> Ordering # (<) :: 𝕍 a -> 𝕍 a -> Bool # (<=) :: 𝕍 a -> 𝕍 a -> Bool # (>) :: 𝕍 a -> 𝕍 a -> Bool # (>=) :: 𝕍 a -> 𝕍 a -> Bool # max :: 𝕍 a -> 𝕍 a -> 𝕍 a # min :: 𝕍 a -> 𝕍 a -> 𝕍 a #
CSized (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods csize :: 𝕍 a -> ℕ64 Source #
Append (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⧺) :: 𝕍 a -> 𝕍 a -> 𝕍 a Source #
Monoid (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector
Null (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods null :: 𝕍 a Source #
Pretty a => Pretty (𝕍 a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: 𝕍 a -> Doc Source #
Shrinky a => Shrinky (𝕍 a) Source #
Instance details Defined in UVMHS.Lib.Shrinky Methods shrink :: 𝕍 a -> 𝐼 (𝕍 a) Source #

iter𝕍 :: 𝕍 a -> 𝐼 a Source #

show𝕍 :: Show a => 𝕍 a -> 𝕊 Source #

idx𝕍 :: ℕ64 -> 𝕍 a -> 𝑂 a Source #

map𝕍 :: (a -> b) -> 𝕍 a -> 𝕍 b Source #

mapM𝕍 :: Monad m => (a -> m b) -> 𝕍 a -> m (𝕍 b) Source #

csize𝕍 :: 𝕍 a -> ℕ64 Source #

single𝕍 :: a -> 𝕍 a Source #

null𝕍 :: 𝕍 a Source #

append𝕍 :: 𝕍 a -> 𝕍 a -> 𝕍 a Source #

vec :: ToIter a t => t -> 𝕍 a Source #

vecC :: ToIterC a t => t -> 𝕍 a Source #

vecF :: ℕ64 -> (ℕ64 -> a) -> 𝕍 a Source #

vecDΩ :: (ℕ64 ⇰ a) -> 𝕍 a Source #

idx𝕍Ω :: ℕ64 -> 𝕍 a -> a Source #

idx𝕍Ω_UNSAFE :: ℕ64 -> 𝕍 a -> a Source #

nulls𝕍 :: Null a => ℕ64 -> 𝕍 a Source #

newtype 𝕍Mut a Source #

Constructors

𝕍Mut
Fields un𝕍Mut :: IOVector a

vecIMut :: ToIter a t => t -> IO (𝕍Mut a) Source #

vecVMut :: 𝕍 a -> IO (𝕍Mut a) Source #

idx𝕍Mut :: ℕ64 -> 𝕍Mut a -> IO a Source #

set𝕍Mut :: ℕ64 -> a -> 𝕍Mut a -> IO () Source #

eachI𝕍Mut :: (ℕ64 -> a -> IO ()) -> 𝕍Mut a -> IO () Source #

each𝕍Mut :: (a -> IO ()) -> 𝕍Mut a -> IO () Source #

values𝕍Mut :: 𝕍Mut a -> IO (𝕍 a) Source #

grow𝕍Mut :: ℕ64 -> 𝕍Mut a -> IO (𝕍Mut a) Source #

newtype 𝕌 a Source #

Constructors

𝕌
Fields un𝕌 :: Vector a

Instances

Instances details

Storable a => Lookup ℕ64 a (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⋕?) :: 𝕌 a -> ℕ64 -> 𝑂 a Source #
Storable a => ToIter a (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods iter :: 𝕌 a -> 𝐼 a Source #
Storable a => ToIterC a (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods iterC :: 𝕌 a -> 𝐼C a Source #
(Storable a, Show a) => Show (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods showsPrec :: Int -> 𝕌 a -> ShowS # show :: 𝕌 a -> String # showList :: [𝕌 a] -> ShowS #
(Storable a, Eq a) => Eq (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (==) :: 𝕌 a -> 𝕌 a -> Bool # (/=) :: 𝕌 a -> 𝕌 a -> Bool #
(Storable a, Ord a) => Ord (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods compare :: 𝕌 a -> 𝕌 a -> Ordering # (<) :: 𝕌 a -> 𝕌 a -> Bool # (<=) :: 𝕌 a -> 𝕌 a -> Bool # (>) :: 𝕌 a -> 𝕌 a -> Bool # (>=) :: 𝕌 a -> 𝕌 a -> Bool # max :: 𝕌 a -> 𝕌 a -> 𝕌 a # min :: 𝕌 a -> 𝕌 a -> 𝕌 a #
(Storable a, DivMod a) => DivMod (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⌿) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source # (÷) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Storable a, Divide a) => Divide (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (/) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Storable a, Minus a) => Minus (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (-) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Storable a, Plus a) => Plus (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (+) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Storable a, Pon a) => Pon (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (^^) :: 𝕌 a -> ℕ -> 𝕌 a Source #
(Storable a, Pow a) => Pow (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (^) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Storable a, Root a) => Root (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods root :: 𝕌 a -> 𝕌 a Source #
(Storable a, Times a) => Times (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (×) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
Storable a => CSized (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods csize :: 𝕌 a -> ℕ64 Source #
(Storable a, Join a) => Join (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⊔) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Storable a, Meet a) => Meet (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⊓) :: 𝕌 a -> 𝕌 a -> 𝕌 a Source #
(Storable a, Pretty a) => Pretty (𝕌 a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: 𝕌 a -> Doc Source #

iter𝕌 :: Storable a => 𝕌 a -> 𝐼 a Source #

show𝕌 :: (Storable a, Show a) => 𝕌 a -> 𝕊 Source #

idx𝕌 :: Storable a => ℕ64 -> 𝕌 a -> 𝑂 a Source #

csize𝕌 :: Storable a => 𝕌 a -> ℕ64 Source #

zipWith𝕌 :: (Storable a, Storable b, Storable c) => (a -> b -> c) -> 𝕌 a -> 𝕌 b -> 𝕌 c Source #

map𝕌 :: (Storable a, Storable b) => (a -> b) -> 𝕌 a -> 𝕌 b Source #

uvec :: (Storable a, ToIter a t) => t -> 𝕌 a Source #

uvecC :: (Storable a, ToIterC a t) => t -> 𝕌 a Source #

uvecF :: Storable a => ℕ64 -> (ℕ64 -> a) -> 𝕌 a Source #

uvecDΩ :: Storable a => (ℕ64 ⇰ a) -> 𝕌 a Source #

idx𝕌Ω :: Storable a => ℕ64 -> 𝕌 a -> a Source #

idx𝕌Ω_UNSAFE :: Storable a => ℕ64 -> 𝕌 a -> a Source #

mapM𝕌 :: (Monad m, Storable a, Storable b) => (a -> m b) -> 𝕌 a -> m (𝕌 b) Source #

null𝕌 :: (Storable a, Null a) => ℕ64 -> 𝕌 a Source #

zipWithOn𝕌 :: (Storable a, Storable b, Storable c) => 𝕌 a -> 𝕌 b -> (a -> b -> c) -> 𝕌 c Source #

module Foreign.Storable