darcs-2.8.4: a distributed, interactive, smart revision control system

Safe HaskellNone

Darcs.Witnesses.WZipper

Synopsis

Documentation

data FZipper a x z whereSource

Constructors

FZipper :: RL a x y -> FL a y z -> FZipper a x z 

left :: FZipper p x y -> FZipper p x ySource

right :: FZipper p x y -> FZipper p x ySource

jokers :: FZipper a x y -> FlippedSeal (FL a) ySource

See clowns

clowns :: FZipper a x y -> Sealed (RL a x)Source

"Clowns to the left of me, jokers to the right. Here I am, stuck in the middle of you" http://en.wikipedia.org/wiki/Stuck_in_the_Middle

flToZipper :: FL a x y -> FZipper a x ySource

toEnd :: FZipper p x y -> FZipper p x ySource

toStart :: FZipper p x y -> FZipper p x ySource