Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Core.Classes.Collections

Documentation

class All a where Source #

Methods

all :: 𝐼 a Source #

Instances

Instances details

All 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Iter Methods all :: 𝐼 𝔹 Source #
All CharClass Source #
Instance details Defined in UVMHS.Lib.Parser.Regex Methods all :: 𝐼 CharClass Source #
All () Source #
Instance details Defined in UVMHS.Core.Data.Iter Methods all :: 𝐼 () Source #
All a => All (𝑂 a) Source #
Instance details Defined in UVMHS.Core.Data.Iter Methods all :: 𝐼 (𝑂 a) Source #
(Ord a, All a) => All (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods all :: 𝐼 (𝑃 a) Source #
(Ord k, All k, All a) => All (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods all :: 𝐼 (k ⇰ a) Source #
(All a, All b) => All (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Data.Iter Methods all :: 𝐼 (a ∧ b) Source #
(All a, All b) => All (a ∨ b) Source #
Instance details Defined in UVMHS.Core.Data.Iter Methods all :: 𝐼 (a ∨ b) Source #

class ASized a where Source #

Methods

asize :: a -> ℕ64 Source #

Instances

Instances details

ASized 𝕊 Source #
Instance details Defined in UVMHS.Core.Sized Methods asize :: 𝕊 -> ℕ64 Source #
ASized ChunkO Source #
Instance details Defined in UVMHS.Lib.Pretty.Common Methods asize :: ChunkO -> ℕ64 Source #
ASized (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods asize :: 𝐼A a -> ℕ64 Source #
ASized (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods asize :: 𝐼AC a -> ℕ64 Source #
(ASized a, ASized b) => ASized (a ∧ b) Source #
Instance details Defined in UVMHS.Core.Sized Methods asize :: (a ∧ b) -> ℕ64 Source #
(ASized a, ASized b) => ASized (a ∨ b) Source #
Instance details Defined in UVMHS.Core.Sized Methods asize :: (a ∨ b) -> ℕ64 Source #

class CSized a where Source #

Methods

csize :: a -> ℕ64 Source #

Instances

Instances details

CSized 𝕊 Source #
Instance details Defined in UVMHS.Core.Sized Methods csize :: 𝕊 -> ℕ64 Source #
CSized (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods csize :: ESet (StdESD e) -> ℕ64 Source #
CSized (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods csize :: 𝑃 a -> ℕ64 Source #
CSized (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods csize :: 𝐼AC a -> ℕ64 Source #
CSized (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods csize :: 𝐼C a -> ℕ64 Source #
Storable a => CSized (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods csize :: 𝕌 a -> ℕ64 Source #
CSized (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods csize :: 𝕍 a -> ℕ64 Source #
CSized (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods csize :: (k ⇰ a) -> ℕ64 Source #
CSized (Sep i a) Source #
Instance details Defined in UVMHS.Lib.Sep Methods csize :: Sep i a -> ℕ64 Source #

class Single a t | t -> a where Source #

Methods

single :: a -> t Source #

Instances

Instances details

Single ℂ 𝕊 Source #
Instance details Defined in UVMHS.Core.Data.String Methods single :: ℂ -> 𝕊 Source #
Single a (𝐼 a) Source #
Instance details Defined in UVMHS.Core.Data.Iter Methods single :: a -> 𝐼 a Source #
Single a (𝐿 a) Source #
Instance details Defined in UVMHS.Core.Data.List Methods single :: a -> 𝐿 a Source #
Ord a => Single a (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods single :: a -> 𝑃 a Source #
Single a (𝑄 a) Source #
Instance details Defined in UVMHS.Core.Data.Sequence Methods single :: a -> 𝑄 a Source #
Single a (ZOM a) Source #
Instance details Defined in UVMHS.Core.Pointed Methods single :: a -> ZOM a Source #
ASized a => Single a (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods single :: a -> 𝐼A a Source #
ASized a => Single a (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods single :: a -> 𝐼AC a Source #
Single a (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods single :: a -> 𝐼C a Source #
Single a (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods single :: a -> 𝕍 a Source #
Single a [a] Source #
Instance details Defined in UVMHS.Core.Data.LazyList Methods single :: a -> [a] Source #
Single a (𝑇 i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods single :: a -> 𝑇 i a Source #
Single a (𝑇V i a) Source #
Instance details Defined in UVMHS.Lib.TreeAnnote Methods single :: a -> 𝑇V i a Source #
Ord e => Single (Elem (StdESD e)) (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods single :: Elem (StdESD e) -> ESet (StdESD e) Source #
Single (ℤ64 ∧ a) (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods single :: (ℤ64 ∧ a) -> 𝑉 a Source #
Ord k => Single (Elem (StdESD k) ∧ a) (EDct (StdESD k) a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods single :: (Elem (StdESD k) ∧ a) -> EDct (StdESD k) a Source #
Ord k => Single (k ∧ a) (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods single :: (k ∧ a) -> k ⇰ a Source #

class Lookup k v t | t -> k, t -> v where Source #

Methods

(⋕?) :: t -> k -> 𝑂 v infixl 7 Source #

Instances

Instances details

Lookup ℕ ℂ 𝕊 Source #
Instance details Defined in UVMHS.Core.Data.String Methods (⋕?) :: 𝕊 -> ℕ -> 𝑂 ℂ Source #
Storable a => Lookup ℕ64 a (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⋕?) :: 𝕌 a -> ℕ64 -> 𝑂 a Source #
Lookup ℕ64 a (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods (⋕?) :: 𝕍 a -> ℕ64 -> 𝑂 a Source #
Lookup ℤ64 a (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods (⋕?) :: 𝑉 a -> ℤ64 -> 𝑂 a Source #
Ord k => Lookup k a (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods (⋕?) :: (k ⇰ a) -> k -> 𝑂 a Source #
Storable a => Lookup ℕ64 a (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕?) :: 𝕌S n a -> ℕ64 -> 𝑂 a Source #
Lookup ℕ64 a (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕?) :: 𝕍S n a -> ℕ64 -> 𝑂 a Source #

class Access k v t | t -> k, t -> v where Source #

Methods

(⋕) :: t -> k -> v infixl 7 Source #

Instances

Instances details

Access (𝕀64 n) a (𝕍SV n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕) :: 𝕍SV n a -> 𝕀64 n -> 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 #
Access (𝕀64 n) a (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods (⋕) :: 𝕍S n a -> 𝕀64 n -> a Source #

class ToIter a t | t -> a where Source #

Methods

iter :: t -> 𝐼 a Source #

Instances

Instances details

ToIter ℂ 𝕊 Source #
Instance details Defined in UVMHS.Core.Data.String Methods iter :: 𝕊 -> 𝐼 ℂ Source #
ToIter a (𝐼 a) Source #
Instance details Defined in UVMHS.Core.Data.Iter Methods iter :: 𝐼 a -> 𝐼 a Source #
ToIter a (𝐿 a) Source #
Instance details Defined in UVMHS.Core.Data.List Methods iter :: 𝐿 a -> 𝐼 a Source #
ToIter a (𝑂 a) Source #
Instance details Defined in UVMHS.Core.Data.Option Methods iter :: 𝑂 a -> 𝐼 a Source #
ToIter a (𝑃 a) Source #
Instance details Defined in UVMHS.Core.Data.Set Methods iter :: 𝑃 a -> 𝐼 a Source #
ToIter a (𝑄 a) Source #
Instance details Defined in UVMHS.Core.Data.Sequence Methods iter :: 𝑄 a -> 𝐼 a Source #
ToIter a (𝑆 a) Source #
Instance details Defined in UVMHS.Core.Data.Stream Methods iter :: 𝑆 a -> 𝐼 a Source #
ToIter a (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iter :: 𝐼A a -> 𝐼 a Source #
ToIter a (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iter :: 𝐼AC a -> 𝐼 a Source #
ToIter a (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iter :: 𝐼C a -> 𝐼 a Source #
Storable a => ToIter a (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods iter :: 𝕌 a -> 𝐼 a Source #
ToIter a (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods iter :: 𝕍 a -> 𝐼 a Source #
ToIter a [a] Source #
Instance details Defined in UVMHS.Core.Data.LazyList Methods iter :: [a] -> 𝐼 a Source #
ToIter a (𝐼S n a) Source #
Instance details Defined in UVMHS.Core.Static Methods iter :: 𝐼S n a -> 𝐼 a Source #
ToIter a (Sep a a) Source #
Instance details Defined in UVMHS.Lib.Sep Methods iter :: Sep a a -> 𝐼 a Source #
ToIter a (WindowL a a) Source #
Instance details Defined in UVMHS.Lib.Window Methods iter :: WindowL a a -> 𝐼 a Source #
ToIter a (WindowR a a) Source #
Instance details Defined in UVMHS.Lib.Window Methods iter :: WindowR a a -> 𝐼 a Source #
Storable a => ToIter a (𝕌S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods iter :: 𝕌S n a -> 𝐼 a Source #
ToIter a (𝕍S n a) Source #
Instance details Defined in UVMHS.Core.VectorStatic Methods iter :: 𝕍S n a -> 𝐼 a Source #
Ord e => ToIter (Elem (StdESD e)) (ESet (StdESD e)) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods iter :: ESet (StdESD e) -> 𝐼 (Elem (StdESD e)) Source #
ToIter (ℤ64 ∧ a) (𝑉 a) Source #
Instance details Defined in UVMHS.Core.VectorSparse Methods iter :: 𝑉 a -> 𝐼 (ℤ64 ∧ a) Source #
ToIter (k ∧ a) (k ⇰ a) Source #
Instance details Defined in UVMHS.Core.Data.Dict Methods iter :: (k ⇰ a) -> 𝐼 (k ∧ a) Source #

lup :: Lookup k v t => k -> t -> 𝑂 v Source #

(⋕!) :: (Lookup k v t, STACK) => t -> k -> v infixl 7 Source #

lupΩ :: Lookup k v t => k -> t -> v Source #