Darcs.Patch.Witnesses.Ordered

Contents

• Directed Types
• Merge Types
• Functions for FLs and RLs
• FL only
• RL only

Synopsis

• data (a1 :> a2) wX wY = (a1 wX wZ) :> (a2 wZ wY)
• 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
  • (:<:) :: RL a wX wY -> a wY wZ -> RL a wX wZ
  • NilRL :: RL a wX wX
• data (a1 :\/: a2) wX wY = (a1 wZ wX) :\/: (a2 wZ wY)
• data (a3 :/\: a4) wX wY = (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 = Fork (common wA wU) (left wU wX) (right wU wY)
• nullFL :: FL a wX wZ -> Bool
• nullRL :: RL a wX wZ -> Bool
• lengthFL :: FL a wX wZ -> Int
• lengthRL :: RL a wX wZ -> Int
• mapFL :: (forall wW wZ. a wW wZ -> b) -> FL a wX wY -> [b]
• mapRL :: (forall wW wZ. a wW wZ -> b) -> RL a wX wY -> [b]
• mapFL_FL :: (forall wW wY. a wW wY -> b wW wY) -> FL a wX wZ -> FL b wX wZ
• mapRL_RL :: (forall wW wY. a wW wY -> b wW wY) -> RL a wX wZ -> RL b wX wZ
• foldlFL :: (forall wW wY. a -> b wW wY -> a) -> a -> FL b wX wZ -> a
• foldlRL :: (forall wW wY. a -> b wW wY -> a) -> a -> RL b wX wZ -> a
• allFL :: (forall wX wY. a wX wY -> Bool) -> FL a wW wZ -> Bool
• allRL :: (forall wA wB. a wA wB -> Bool) -> RL a wX wY -> Bool
• anyFL :: (forall wX wY. a wX wY -> Bool) -> FL a wW wZ -> Bool
• anyRL :: (forall wA wB. a wA wB -> Bool) -> RL a wX wY -> Bool
• filterFL :: (forall wX wY. a wX wY -> Bool) -> FL a wW wZ -> [Sealed2 a]
• filterRL :: (forall wX wY. p wX wY -> Bool) -> RL p wA wB -> [Sealed2 p]
• splitAtFL :: Int -> FL a wX wZ -> (FL a :> FL a) wX wZ
• splitAtRL :: Int -> RL a wX wZ -> (RL a :> RL a) wX 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
• 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 wX wY -> RL a wY wZ -> RL a wX wZ
• (+>>+) :: RL p wX wY -> FL p wY wZ -> FL p wX wZ
• (+<<+) :: RL p wX wY -> FL p wY wZ -> RL p wX wZ
• concatFL :: FL (FL a) wX wZ -> FL a wX wZ
• concatRL :: RL (RL a) wX wZ -> RL a wX wZ
• 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)
• bunchFL :: Int -> FL a wX wY -> FL (FL a) wX wY
• foldFL_M :: Monad m => (forall wA wB. r wA -> p wA wB -> m (r wB)) -> r wX -> FL p wX wY -> m (r wY)
• spanFL :: (forall wW wY. a wW wY -> Bool) -> FL a wX wZ -> (FL a :> FL a) wX wZ
• 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)
• zipWithFL :: (forall wX wY. a -> p wX wY -> q wX wY) -> [a] -> FL p wW wZ -> FL q wW wZ
• toFL :: [FreeLeft a] -> Sealed (FL a wX)
• mapFL_FL_M :: Monad m => (forall wW wY. a wW wY -> m (b wW wY)) -> FL a wX wZ -> m (FL b wX wZ)
• sequenceFL_ :: Monad m => (forall wW wZ. a wW wZ -> m b) -> FL a wX wY -> m ()
• eqFL :: Eq2 a => FL a wX wY -> FL a wX wZ -> EqCheck wY wZ
• eqFLRev :: Eq2 a => FL a wX wZ -> FL a wY wZ -> EqCheck wX wY
• eqFLUnsafe :: Eq2 a => FL a wX wY -> FL a wZ wW -> Bool
• initsFL :: FL p wX wY -> [Sealed ((p :> FL p) wX)]
• isShorterThanRL :: RL a wX wY -> Int -> Bool
• snocRLSealed :: FlippedSeal (RL a) wY -> a wY wZ -> FlippedSeal (RL a) wZ

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 for FLs and RLs

FL only

RL only