Data.RAList.Internal

Documentation

newtype Indexing f a

Constructors

Indexing

Fields

• runIndexing :: Word64 -> (Word64, f a)

Instances

Functor f => Functor (Indexing f)

Defined in Data.RAList.Internal

Methods

fmap :: (a -> b) -> Indexing f a -> Indexing f b

(<$) :: a -> Indexing f b -> Indexing f a

Applicative f => Applicative (Indexing f)

Defined in Data.RAList.Internal

Methods

pure :: a -> Indexing f a

(<*>) :: Indexing f (a -> b) -> Indexing f a -> Indexing f b

liftA2 :: (a -> b -> c) -> Indexing f a -> Indexing f b -> Indexing f c

(*>) :: Indexing f a -> Indexing f b -> Indexing f b

(<*) :: Indexing f a -> Indexing f b -> Indexing f a