Darcs.Patch.Witnesses.Ordered

Contents

• Directed Types
• Merge Types
• Functions

Synopsis

• data (a1 :> a2) wX wY = forall wZ . (a1 wX wZ) :> (a2 wZ wY)
• data (a1 :< a2) wX wY = forall wZ . (a1 wZ wY) :< (a2 wX wZ)
• data FL a wX wZ where
  • (:>:) :: a wX wY -> FL a wY wZ -> FL a wX wZ
  • NilFL :: FL a wX wX
• data RL a wX wZ where
  • (:<:) :: a wY wZ -> RL a wX wY -> RL a wX wZ
  • NilRL :: RL a wX wX
• data (a1 :\/: a2) wX wY = forall wZ . (a1 wZ wX) :\/: (a2 wZ wY)
• data (a3 :/\: a4) wX wY = forall wZ . (a3 wX wZ) :/\: (a4 wY wZ)
• data (a1 :||: a2) wX wY = (a1 wX wY) :||: (a2 wX wY)
• data Fork common left right wA wX wY = forall wU . Fork (common wA wU) (left wU wX) (right wU wY)
• lengthFL :: FL a wX wZ -> Int
• mapFL :: (forall wW wZ. a wW wZ -> b) -> FL a wX wY -> [b]
• mapFL_FL :: (forall wW wY. a wW wY -> b wW wY) -> FL a wX wZ -> FL b wX wZ
• spanFL :: (forall wW wY. a wW wY -> Bool) -> FL a wX wZ -> (FL a :> FL a) wX wZ
• foldlFL :: (forall wW wY. a -> b wW wY -> a) -> a -> FL b wX wZ -> a
• allFL :: (forall wX wY. a wX wY -> Bool) -> FL a wW wZ -> Bool
• anyFL :: (forall wX wY. a wX wY -> Bool) -> FL a wW wZ -> Bool
• filterFL :: (forall wX wY. a wX wY -> Bool) -> FL a wW wZ -> [Sealed2 a]
• splitAtFL :: Int -> FL a wX wZ -> (FL a :> FL a) wX wZ
• splitAtRL :: Int -> RL a wX wZ -> (RL a :< RL a) wX wZ
• bunchFL :: Int -> FL a wX wY -> FL (FL a) wX wY
• foldlRL :: (forall wW wY. a -> b wW wY -> a) -> a -> RL b wX wZ -> a
• lengthRL :: RL a wX wZ -> Int
• isShorterThanRL :: RL a wX wY -> Int -> Bool
• mapRL :: (forall wW wZ. a wW wZ -> b) -> RL a wX wY -> [b]
• mapRL_RL :: (forall wW wY. a wW wY -> b wW wY) -> RL a wX wZ -> RL b wX wZ
• zipWithFL :: (forall wX wY. a -> p wX wY -> q wX wY) -> [a] -> FL p wW wZ -> FL q wW wZ
• filterOutFLFL :: (forall wX wY. p wX wY -> EqCheck wX wY) -> FL p wW wZ -> FL p wW wZ
• filterOutRLRL :: (forall wX wY. p wX wY -> EqCheck wX wY) -> RL p wW wZ -> RL p wW wZ
• filterRL :: (forall wX wY. p wX wY -> Bool) -> RL p wA wB -> [Sealed2 p]
• reverseFL :: FL a wX wZ -> RL a wX wZ
• reverseRL :: RL a wX wZ -> FL a wX wZ
• (+>+) :: FL a wX wY -> FL a wY wZ -> FL a wX wZ
• (+<+) :: RL a wY wZ -> RL a wX wY -> RL a wX wZ
• nullFL :: FL a wX wZ -> Bool
• concatFL :: FL (FL a) wX wZ -> FL a wX wZ
• concatRL :: RL (RL a) wX wZ -> RL a wX wZ
• consRLSealed :: a wY wZ -> FlippedSeal (RL a) wY -> FlippedSeal (RL a) wZ
• nullRL :: RL a wX wZ -> Bool
• toFL :: [FreeLeft a] -> Sealed (FL a wX)
• dropWhileFL :: (forall wX wY. a wX wY -> Bool) -> FL a wR wV -> FlippedSeal (FL a) wV
• dropWhileRL :: (forall wX wY. a wX wY -> Bool) -> RL a wR wV -> Sealed (RL a wR)
• spanFL_M :: forall a m wX wZ. Monad m => (forall wW wY. a wW wY -> m Bool) -> FL a wX wZ -> m ((FL a :> FL a) wX wZ)
• mapFL_FL_M :: Monad m => (forall wW wY. a wW wY -> m (b wW wY)) -> FL a wX wZ -> m (FL b wX wZ)
• eqFL :: MyEq a => FL a wX wY -> FL a wX wZ -> EqCheck wY wZ
• eqFLRev :: MyEq a => FL a wX wZ -> FL a wY wZ -> EqCheck wX wY
• eqFLUnsafe :: MyEq a => FL a wX wY -> FL a wZ wW -> Bool

Directed Types

 Move x z :> Move y x :> Move z y

 Move x z :>: Move y x :>: Move z y :>: NilFl

Merge Types

          wZ
         :/\:
     a3 /    \ a4  
       /      \    
      wX      wY       
       \      /    
     a1 \    / a2  
         :\/:      
          wZ

      wX     wY       
       \     /    
        \   /
         \ /     
          wU
          |
          |
          |
          wA

Functions