darcs-2.5.1: a distributed, interactive, smart revision control system

Darcs.Witnesses.Ordered

Documentation

data EqCheck whereSource

Constructors

IsEq :: EqCheck 
NotEq :: EqCheck 

Instances

data a1 :> a2 Source

Constructors

a1 :> a2 

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 

Instances

(MyEq a, MyEq b) => MyEq (:< a b) 

data a1 :\/: a2 Source

Constructors

a1 :\/: a2 

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 

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 

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 

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

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

(+>+) :: FL a -> FL a -> FL aSource

(+<+) :: RL a -> RL a -> RL aSource

concatFL :: FL (FL a) -> FL aSource

concatRL :: RL (RL a) -> RL aSource

class MyEq p whereSource

Methods

unsafeCompare :: p -> p -> BoolSource

(=\/=) :: p -> p -> EqCheckSource

(=/\=) :: p -> p -> EqCheckSource

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) 

data a1 :>> a2 Source

Constructors

a1 :>> a2 

spanFL_M :: forall a m. Monad m => (a -> m Bool) -> FL a -> m (FL a :> FL a)Source