Control.CanAquire

Documentation

runAcquire :: forall t a b. Traversable t => (forall s. CanAquire (I s a) a => t (I s a) -> b) -> t a -> b

Run a computation on something that can aquire i's.

class HasIndex i Int => CanAquire i a where

Methods

aquire :: i -> a

A value of type i can obtain something of type 'a'

Instances

Reifies s (Vector a) => CanAquire (I s a) a

Defined in Control.CanAquire

Methods

aquire :: I s a -> a

class HasIndex t i | t -> i where

Methods

indexOf :: t -> i

Types that have an instance of this class can act as indices.

Instances

HasIndex (I s a) Int

Defined in Control.CanAquire

Methods

indexOf :: I s a -> Int

replaceByIndex :: forall t a. Traversable t => t a -> (Vector a, t Int)

Replaces every element by an index. Returns the new traversable containing only these indices, as well as a vector with the values. (such that indexing in this value gives the original value).

labelWithIndex :: Traversable t => t a -> (t (Int, a), Int)

Label each element with its index. Returns the new collection as well as its size.

data I (s :: *) a

A type that can act as an Index.

Instances

Enum (I s a)

Defined in Control.CanAquire

Methods

succ :: I s a -> I s a

pred :: I s a -> I s a

toEnum :: Int -> I s a

fromEnum :: I s a -> Int

enumFrom :: I s a -> [I s a]

enumFromThen :: I s a -> I s a -> [I s a]

enumFromTo :: I s a -> I s a -> [I s a]

enumFromThenTo :: I s a -> I s a -> I s a -> [I s a]

Eq (I s a)

Defined in Control.CanAquire

Methods

(==) :: I s a -> I s a -> Bool

(/=) :: I s a -> I s a -> Bool

Ord (I s a)

Defined in Control.CanAquire

Methods

compare :: I s a -> I s a -> Ordering

(<) :: I s a -> I s a -> Bool

(<=) :: I s a -> I s a -> Bool

(>) :: I s a -> I s a -> Bool

(>=) :: I s a -> I s a -> Bool

max :: I s a -> I s a -> I s a

min :: I s a -> I s a -> I s a

Show (I s a)

Defined in Control.CanAquire

Methods

showsPrec :: Int -> I s a -> ShowS

show :: I s a -> String

showList :: [I s a] -> ShowS

HasIndex (I s a) Int

Defined in Control.CanAquire

Methods

indexOf :: I s a -> Int

Reifies s (Vector a) => CanAquire (I s a) a

Defined in Control.CanAquire

Methods

aquire :: I s a -> a