darcs-beta-2.4.99.1: a distributed, interactive, smart revision control system
Darcs.Witnesses.WZipper
data FZipper a whereSource
Constructors
focus :: FZipper a -> Maybe (Sealed2 a)Source
leftmost :: FZipper p -> BoolSource
left :: FZipper p -> FZipper pSource
rightmost :: FZipper p -> BoolSource
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 -> IntSource
nullFZ :: FZipper a -> BoolSource
toEnd :: FZipper p -> FZipper pSource