darcs-2.18.2: a distributed, interactive, smart revision control system
Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Witnesses.WZipper

Synopsis

Documentation

data FZipper (a :: Type -> Type -> Type) wX wZ where #

Constructors

FZipper :: forall (a :: Type -> Type -> Type) wX wY wZ. RL a wX wY -> FL a wY wZ -> FZipper a wX wZ 

focus :: forall (a :: Type -> Type -> Type) wX wY. FZipper a wX wY -> Maybe (Sealed2 a) #

leftmost :: forall (p :: Type -> Type -> Type) wX wY. FZipper p wX wY -> Bool #

left :: forall (p :: Type -> Type -> Type) wX wY. FZipper p wX wY -> FZipper p wX wY #

rightmost :: forall (p :: Type -> Type -> Type) wX wY. FZipper p wX wY -> Bool #

right :: forall (p :: Type -> Type -> Type) wX wY. FZipper p wX wY -> FZipper p wX wY #

jokers :: forall (a :: Type -> Type -> Type) wX wY. FZipper a wX wY -> FlippedSeal (FL a) wY #

See clowns

clowns :: forall (a :: Type -> Type -> Type) wX wY. FZipper a wX wY -> Sealed (RL a wX) #

"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 :: forall (a :: Type -> Type -> Type) wX wY. FL a wX wY -> FZipper a wX wY #

lengthFZ :: forall (a :: Type -> Type -> Type) wX wY. FZipper a wX wY -> Int #

nullFZ :: forall (a :: Type -> Type -> Type) wX wY. FZipper a wX wY -> Bool #

toEnd :: forall (p :: Type -> Type -> Type) wX wY. FZipper p wX wY -> FZipper p wX wY #

toStart :: forall (p :: Type -> Type -> Type) wX wY. FZipper p wX wY -> FZipper p wX wY #