Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Head
is a Store-like comonad which handles seeking.
seeksTape :: Monad m => (i -> Maybe i) -> Tape (Head i) m a -> Tape (Head i) m a Source
Seek to an arbitrary position.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Head
is a Store-like comonad which handles seeking.
seeksTape :: Monad m => (i -> Maybe i) -> Tape (Head i) m a -> Tape (Head i) m a Source
Seek to an arbitrary position.