Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Sized

Contents

Orphan instances

Documentation

data 𝐼A a Source #

Constructors

𝐼A
Fields 𝑖aSize :: ℕ64 𝑖aIter :: 𝐼 a

Instances

Instances details

ASized a => Single a (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods single :: a -> 𝐼A a Source #
ToIter a (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iter :: 𝐼A a -> 𝐼 a Source #
ToIterA a (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iterA :: 𝐼A a -> 𝐼A a Source #
Show a => Show (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods showsPrec :: Int -> 𝐼A a -> ShowS # show :: 𝐼A a -> String # showList :: [𝐼A a] -> ShowS #
ASized (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods asize :: 𝐼A a -> ℕ64 Source #
Append (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods (⧺) :: 𝐼A a -> 𝐼A a -> 𝐼A a Source #
Monoid (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized
Null (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods null :: 𝐼A a Source #

𝑖aSizeL :: 𝐼A a ⟢ ℕ64 Source #

𝑖aIterL :: 𝐼A a ⟢ 𝐼 a Source #

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

Methods

iterA :: t -> 𝐼A a Source #

Instances

Instances details

ToIterA a (𝐼A a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iterA :: 𝐼A a -> 𝐼A a Source #

iterAI :: (ToIter a t, ASized a) => t -> 𝐼A a Source #

data 𝐼C a Source #

Constructors

𝐼C
Fields 𝑖cSize :: ℕ64 𝑖cIter :: 𝐼 a

Instances

Instances details

Functor 𝐼C Source #
Instance details Defined in UVMHS.Core.Sized Methods map :: (a -> b) -> 𝐼C a -> 𝐼C b Source #
FunctorM 𝐼C Source #
Instance details Defined in UVMHS.Core.Sized Methods mapM :: Monad m => (a -> m b) -> 𝐼C a -> m (𝐼C b) Source #
Single a (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods single :: a -> 𝐼C a Source #
ToIter a (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iter :: 𝐼C a -> 𝐼 a Source #
ToIterC a (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iterC :: 𝐼C a -> 𝐼C a Source #
Show a => Show (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods showsPrec :: Int -> 𝐼C a -> ShowS # show :: 𝐼C a -> String # showList :: [𝐼C a] -> ShowS #
CSized (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods csize :: 𝐼C a -> ℕ64 Source #
Append (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods (⧺) :: 𝐼C a -> 𝐼C a -> 𝐼C a Source #
Monoid (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized
Null (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods null :: 𝐼C a Source #
Pretty a => Pretty (𝐼C a) Source #
Instance details Defined in UVMHS.Lib.Pretty.Doc Methods pretty :: 𝐼C a -> Doc Source #

𝑖cSizeL :: 𝐼C a ⟢ ℕ64 Source #

𝑖cIterL :: 𝐼C a ⟢ 𝐼 a Source #

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

Methods

iterC :: t -> 𝐼C a Source #

Instances

Instances details

ToIterC a (𝐼C a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iterC :: 𝐼C a -> 𝐼C a Source #
Storable a => ToIterC a (𝕌 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods iterC :: 𝕌 a -> 𝐼C a Source #
ToIterC a (𝕍 a) Source #
Instance details Defined in UVMHS.Core.Vector Methods iterC :: 𝕍 a -> 𝐼C a Source #

iterCI :: ToIter a t => t -> 𝐼C a Source #

data 𝐼AC a Source #

Constructors

𝐼AC
Fields 𝑖acSize :: ℕ64 𝑖acCSize :: ℕ64 𝑖acIter :: 𝐼 a

Instances

Instances details

ASized a => Single a (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods single :: a -> 𝐼AC a Source #
ToIter a (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iter :: 𝐼AC a -> 𝐼 a Source #
ToIterAC a (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iterAC :: 𝐼AC a -> 𝐼AC a Source #
Show a => Show (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods showsPrec :: Int -> 𝐼AC a -> ShowS # show :: 𝐼AC a -> String # showList :: [𝐼AC a] -> ShowS #
ASized (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods asize :: 𝐼AC a -> ℕ64 Source #
CSized (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods csize :: 𝐼AC a -> ℕ64 Source #
Append (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods (⧺) :: 𝐼AC a -> 𝐼AC a -> 𝐼AC a Source #
Monoid (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized
Null (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods null :: 𝐼AC a Source #

𝑖acSizeL :: 𝐼AC a ⟢ ℕ64 Source #

𝑖acCSizeL :: 𝐼AC a ⟢ ℕ64 Source #

𝑖acIterL :: 𝐼AC a ⟢ 𝐼 a Source #

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

Methods

iterAC :: t -> 𝐼AC a Source #

Instances

Instances details

ToIterAC a (𝐼AC a) Source #
Instance details Defined in UVMHS.Core.Sized Methods iterAC :: 𝐼AC a -> 𝐼AC a Source #

iterACI :: (ToIter a t, ASized a) => t -> 𝐼AC a Source #

buildC :: ℕ64 -> a -> (a -> a) -> 𝐼C a Source #

uptoC :: ℕ64 -> 𝐼C ℕ64 Source #

stringCS :: (ToIter ℂ t, CSized t) => t -> 𝕊 Source #

stringSS :: (ToIter 𝕊 t, ASized t) => t -> 𝕊 Source #

mapState𝐼C :: ToIterC a t => s -> (a -> s -> s ∧ b) -> t -> 𝐼C b Source #

withIndexC :: forall t a. ToIterC a t => t -> 𝐼C (ℕ64 ∧ a) Source #

zipWithC :: (ToIterC a t₁, ToIterC b t₂) => (a -> b -> c) -> t₁ -> t₂ -> 𝐼C c Source #

zipC :: (ToIterC a t₁, ToIterC b t₂) => t₁ -> t₂ -> 𝐼C (a ∧ b) Source #

prodWith𝐼C :: (a -> b -> c) -> 𝐼C a -> 𝐼C b -> 𝐼C c Source #

Orphan instances

ASized 𝕊 Source #
Instance details Methods asize :: 𝕊 -> ℕ64 Source #
CSized 𝕊 Source #
Instance details Methods csize :: 𝕊 -> ℕ64 Source #
(ASized a, ASized b) => ASized (a ∧ b) Source #
Instance details Methods asize :: (a ∧ b) -> ℕ64 Source #
(ASized a, ASized b) => ASized (a ∨ b) Source #
Instance details Methods asize :: (a ∨ b) -> ℕ64 Source #