Data.Boombox.Head

Documentation

data Head i a

Head is a Store-like comonad which handles seeking.

Constructors

Head !i (Maybe i -> a)

Instances

Functor (Head i)

Comonad (Head i)

Ord i => Chronological (Head i)

seeksTape :: Monad m => (i -> Maybe i) -> Tape (Head i) m a -> Tape (Head i) m a

Seek to an arbitrary position.

posP :: PlayerT (Head i) s m i

Get the current offset.

seeksP :: (i -> Maybe i) -> PlayerT (Head i) s m ()

Apply the given function to the current offset and jump to the resulting offset.

seekP :: i -> PlayerT (Head i) s m ()

Seek to the given offset.