|Data types for functorially lifting sequence positions and
locations onto named sequences. These are useful for taking functions
that work with sequence positions and locations and associating them
specific, named sequences.
|Sequence name, as in a Sequence
|Data type for an object associated with a specific, named sequence
|onSeqName :: !SeqName|
|onSeqObj :: !a|
|:: Monad m|
|=> SeqData -> a -> m b||Function using sequence data
|-> SeqName -> m SeqData||Lookup sequence by name
|-> OnSeq a||Object with named sequence
|-> m b|
|Looks up a sequence by name and applies a function to it
|Tests a predicate when two objects are on the same sequence,
returning False if they are on different sequences.
|Performs an action when two objects are on the same sequence and
produces an error otherwise.
|Sequence collections indexed by name
|Data type for a collection of objects indexed by sequence name
|Lifts a function on an underlying object to look up the sequence
name in a name-indexed collection.
|Lifts a function that updates an underlying object to look up the
named sequence and update a named-index collection.
|Lifts a function on underlying objects to look up a sequence in a
|Produced by Haddock version 2.6.1|