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

Darcs.Witnesses.WZipper

Documentation

data FZipper a whereSource

Constructors

FZipper :: RL a -> FL a -> FZipper a

focus :: FZipper a -> Maybe (Sealed2 a)Source

leftmost :: FZipper p -> Bool Source

left :: FZipper p -> FZipper pSource

rightmost :: FZipper p -> Bool Source

right :: FZipper p -> FZipper pSource

jokers :: FZipper a -> FlippedSeal (FL a)Source

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

flToZipper :: FL a -> FZipper aSource

lengthFZ :: FZipper a -> Int Source

nullFZ :: FZipper a -> Bool Source

toEnd :: FZipper p -> FZipper pSource