darcs-2.5.2: a distributed, interactive, smart revision control system
Darcs.Witnesses.WZipper
data FZipper a where
Constructors
focus :: FZipper a -> Maybe (Sealed2 a)
leftmost :: FZipper p -> Bool
left :: FZipper p -> FZipper p
rightmost :: FZipper p -> Bool
right :: FZipper p -> FZipper p
jokers :: FZipper a -> FlippedSeal (FL a)
clowns :: FZipper a -> Sealed (RL a)
flToZipper :: FL a -> FZipper a
lengthFZ :: FZipper a -> Int
nullFZ :: FZipper a -> Bool
toEnd :: FZipper p -> FZipper p