darcs-beta-2.4.98.5: a distributed, interactive, smart revision control systemSource codeContentsIndex
Darcs.Witnesses.Ordered
Documentation
data EqCheck whereSource
Constructors
IsEq :: EqCheck
NotEq :: EqCheck
show/hide Instances
isEq :: EqCheck -> BoolSource
data a1 :> a2 Source
Constructors
a1 :> a2
show/hide Instances
(Show2 a, Show2 b) => Show (:> a b)
(Show2 a, Show2 b) => Show2 (:> a b)
(MyEq a, MyEq b) => MyEq (:> a b)
data a1 :< a2 Source
Constructors
a1 :< a2
show/hide Instances
(MyEq a, MyEq b) => MyEq (:< a b)
data a1 :\/: a2 Source
Constructors
a1 :\/: a2
show/hide Instances
(Show2 a, Show2 b) => Show (:\/: a b)
(Show2 a, Show2 b) => Show2 (:\/: a b)
data a1 :/\: a2 Source
Constructors
a1 :/\: a2
data a1 :||: a2 Source
Constructors
a1 :||: a2
data FL a whereSource
Constructors
:>: :: a -> FL a -> FL a
NilFL :: FL a
show/hide Instances
Show2 a => Show (FL a)
Show2 a => Show2 (FL a)
(MyEq p, Commute p) => MyEq (FL p)
(Invert p, Commute p) => Invert (FL p)
ReadPatch p => ReadPatch (FL p)
(Conflict p, Apply p, Effect p, ShowPatch p) => ShowPatch (FL p)
Commute p => Commute (FL p)
Apply p => Apply (FL p)
(Conflict p, Patchy p) => Patchy (FL p)
Effect p => Effect (FL p)
Conflict p => Conflict (FL p)
FromPrim p => FromPrims (FL p)
RepoPatchBase p => RepoPatch (FL p)
data RL a whereSource
Constructors
:<: :: a -> RL a -> RL a
NilRL :: RL a
show/hide Instances
(MyEq p, Commute p) => MyEq (RL p)
(Commute p, Invert p) => Invert (RL p)
ReadPatch p => ReadPatch (RL p)
(Conflict p, Apply p, ShowPatch p) => ShowPatch (RL p)
Commute p => Commute (RL p)
Apply p => Apply (RL p)
(Conflict p, Patchy p) => Patchy (RL p)
Effect p => Effect (RL p)
Conflict p => Conflict (RL p)
FromPrim p => FromPrims (RL p)
data Proof a whereSource
Constructors
Proof :: a -> Proof a
lengthFL :: FL a -> IntSource
mapFL :: (a -> b) -> FL a -> [b]Source
mapFL_FL :: (a -> b) -> FL a -> FL bSource
spanFL :: (a -> Bool) -> FL a -> FL a :> FL aSource
foldlFL :: (a -> b -> a) -> a -> FL b -> aSource
allFL :: (a -> Bool) -> FL a -> BoolSource
anyFL :: (a -> Bool) -> FL a -> BoolSource
filterFL :: (a -> Bool) -> FL a -> [Sealed2 a]Source
splitAtFL :: Int -> FL a -> FL a :> FL aSource
splitAtRL :: Int -> RL a -> RL a :< RL aSource
bunchFL :: Int -> FL a -> FL (FL a)Source
foldlRL :: (a -> b -> a) -> a -> RL b -> aSource
lengthRL :: RL a -> IntSource
isShorterThanRL :: RL a -> Int -> BoolSource
mapRL :: (a -> b) -> RL a -> [b]Source
mapRL_RL :: (a -> b) -> RL a -> RL bSource
zipWithFL :: (a -> p -> q) -> [a] -> FL p -> FL qSource
unsafeMap_l2f :: (a -> b) -> [a] -> FL bSource
filterE :: (a -> EqCheck) -> [a] -> [Proof a]Source
filterFLFL :: (p -> EqCheck) -> FL p -> FL pSource
filterRL :: (p -> Bool) -> RL p -> [Sealed2 p]Source
reverseFL :: FL a -> RL aSource
reverseRL :: RL a -> FL aSource
(+>+) :: FL a -> FL a -> FL aSource
(+<+) :: RL a -> RL a -> RL aSource
nullFL :: FL a -> BoolSource
concatFL :: FL (FL a) -> FL aSource
concatRL :: RL (RL a) -> RL aSource
concatReverseFL :: FL (RL a) -> RL aSource
headRL :: RL a -> FlippedSeal aSource
class MyEq p whereSource
Methods
unsafeCompare :: p -> p -> BoolSource
(=\/=) :: p -> p -> EqCheckSource
(=/\=) :: p -> p -> EqCheckSource
show/hide Instances
MyEq DirPatchType
MyEq FilePatchType
MyEq Prim
MyEq Patch
MyEq RealPatch
MyEq WPatchInfo
(MyEq p, Commute p) => MyEq (RL p)
(MyEq p, Commute p) => MyEq (FL p)
MyEq p => MyEq (Named p)
MyEq p => MyEq (PatchInfoAnd p)
MyEq p => MyEq (PatchChoice p)
MyEq p => MyEq (TaggedPatch p)
(MyEq a, MyEq b) => MyEq (:< a b)
(MyEq a, MyEq b) => MyEq (:> a b)
consRLSealed :: a -> FlippedSeal (RL a) -> FlippedSeal (RL a)Source
nullRL :: RL a -> BoolSource
toFL :: [FreeLeft a] -> Sealed (FL a)Source
data a1 :>> a2 Source
Constructors
a1 :>> a2
unsafeCoercePStart :: a -> aSource
unsafeCoercePEnd :: a -> aSource
unsafeCoerceP :: a -> aSource
unsafeCoerceP2 :: t -> tSource
spanFL_M :: forall a m. Monad m => (a -> m Bool) -> FL a -> m (FL a :> FL a)Source
Produced by Haddock version 2.6.1