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

Darcs.Witnesses.WZipper

Documentation

data FZipper a where

Constructors

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

left :: FZipper p -> FZipper p

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