Safe Haskell | None |
---|---|
Language | Haskell2010 |
Darcs.Patch.Witnesses.WZipper
Synopsis
- data FZipper (a :: Type -> Type -> Type) wX wZ where
- 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
- clowns :: forall (a :: Type -> Type -> Type) wX wY. FZipper a wX wY -> Sealed (RL a wX)
- 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
Documentation
jokers :: forall (a :: Type -> Type -> Type) wX wY. FZipper a wX wY -> FlippedSeal (FL a) wY Source #
See clowns
clowns :: forall (a :: Type -> Type -> Type) wX wY. FZipper a wX wY -> Sealed (RL a wX) Source #
"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 Source #