uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Core.Sized

Documentation

data 𝐼A a Source #

Constructors

𝐼A 

Fields

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 #

𝑖aIterL :: forall (a :: Type). (⟢) (𝐼A a) (𝐼 a) Source #

𝑖aSizeL :: forall (a :: Type). (⟢) (𝐼A a) ℕ64 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

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 #

𝑖cIterL :: forall (a :: Type). (⟢) (𝐼C a) (𝐼 a) Source #

𝑖cSizeL :: forall (a :: Type). (⟢) (𝐼C a) ℕ64 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

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 #

𝑖acIterL :: forall (a :: Type). (⟢) (𝐼AC a) (𝐼 a) Source #

𝑖acCSizeL :: forall (a :: Type). (⟢) (𝐼AC a) ℕ64 Source #

𝑖acSizeL :: forall (a :: Type). (⟢) (𝐼AC a) ℕ64 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 #

reiterC :: 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 #