Safe Haskell	None
Language	Haskell2010

Unison.Codebase.Causal

Synopsis

data Causal (m :: Type -> Type) e
pattern One :: CausalHash -> HashFor e -> e -> Causal m e
pattern Cons :: CausalHash -> HashFor e -> e -> (CausalHash, m (Causal m e)) -> Causal m e
pattern Merge :: CausalHash -> HashFor e -> e -> Map CausalHash (m (Causal m e)) -> Causal m e
head_ :: forall e (m :: Type -> Type). ContentAddressable e => Lens' (Causal m e) e
one :: forall e (m :: Type -> Type). ContentAddressable e => e -> Causal m e
cons :: forall (m :: Type -> Type) e. (Applicative m, ContentAddressable e) => e -> Causal m e -> Causal m e
consDistinct :: forall (m :: Type -> Type) e. (Applicative m, Eq e, ContentAddressable e) => e -> Causal m e -> Causal m e
mergeNode :: ContentAddressable e => e -> Map CausalHash (m (Causal m e)) -> Causal m e
uncons :: Applicative m => Causal m e -> m (Maybe (e, Causal m e))
predecessors :: Causal m e -> Seq (m (Causal m e))
threeWayMerge :: (Monad m, ContentAddressable e) => (Maybe e -> e -> e -> m e) -> Causal m e -> Causal m e -> m (Causal m e)
threeWayMerge' :: (Monad m, ContentAddressable e) => (Causal m e -> Causal m e -> m (Maybe (Causal m e))) -> (Maybe e -> e -> e -> m e) -> Causal m e -> Causal m e -> m (Causal m e)
squashMerge' :: (Monad m, ContentAddressable e, Eq e) => (Causal m e -> Causal m e -> m (Maybe (Causal m e))) -> (e -> m e) -> (Maybe e -> e -> e -> m e) -> Causal m e -> Causal m e -> m (Causal m e)
lca :: Monad m => Causal m e -> Causal m e -> m (Maybe (Causal m e))
stepDistinct :: forall (m :: Type -> Type) e. (Applicative m, Eq e, ContentAddressable e) => (e -> e) -> Causal m e -> Causal m e
stepDistinctM :: forall (m :: Type -> Type) n e. (Applicative m, Functor n, Eq e, ContentAddressable e) => (e -> n e) -> Causal m e -> n (Causal m e)
transform :: Functor m => (forall a. m a -> n a) -> Causal m e -> Causal n e
unsafeMapHashPreserving :: forall (m :: Type -> Type) e e2. Functor m => (e -> e2) -> Causal m e -> Causal m e2
before :: Monad m => Causal m e -> Causal m e -> m Bool
beforeHash :: Monad m => Word -> CausalHash -> Causal m e -> m Bool

Documentation

data Causal (m :: Type -> Type) e Source #

Instances

Instances details

Show e => Show (Causal m e) Source #
Instance details Defined in Unison.Codebase.Causal.Type Methods showsPrec :: Int -> Causal m e -> ShowS # show :: Causal m e -> String # showList :: [Causal m e] -> ShowS #
Eq (Causal m a) Source #
Instance details Defined in Unison.Codebase.Causal.Type Methods (==) :: Causal m a -> Causal m a -> Bool # (/=) :: Causal m a -> Causal m a -> Bool #
Ord (Causal m a) Source #
Instance details Defined in Unison.Codebase.Causal.Type Methods compare :: Causal m a -> Causal m a -> Ordering # (<) :: Causal m a -> Causal m a -> Bool # (<=) :: Causal m a -> Causal m a -> Bool # (>) :: Causal m a -> Causal m a -> Bool # (>=) :: Causal m a -> Causal m a -> Bool # max :: Causal m a -> Causal m a -> Causal m a # min :: Causal m a -> Causal m a -> Causal m a #

pattern One :: CausalHash -> HashFor e -> e -> Causal m e Source #

pattern Cons :: CausalHash -> HashFor e -> e -> (CausalHash, m (Causal m e)) -> Causal m e Source #

pattern Merge :: CausalHash -> HashFor e -> e -> Map CausalHash (m (Causal m e)) -> Causal m e Source #

head_ :: forall e (m :: Type -> Type). ContentAddressable e => Lens' (Causal m e) e Source #

Focus the current head, keeping the hash up to date.

one :: forall e (m :: Type -> Type). ContentAddressable e => e -> Causal m e Source #

cons :: forall (m :: Type -> Type) e. (Applicative m, ContentAddressable e) => e -> Causal m e -> Causal m e Source #

consDistinct :: forall (m :: Type -> Type) e. (Applicative m, Eq e, ContentAddressable e) => e -> Causal m e -> Causal m e Source #

mergeNode :: ContentAddressable e => e -> Map CausalHash (m (Causal m e)) -> Causal m e Source #

An optimized variant of fromListM for when it is known we have 2+ predecessors (merge node).

uncons :: Applicative m => Causal m e -> m (Maybe (e, Causal m e)) Source #

predecessors :: Causal m e -> Seq (m (Causal m e)) Source #

threeWayMerge :: (Monad m, ContentAddressable e) => (Maybe e -> e -> e -> m e) -> Causal m e -> Causal m e -> m (Causal m e) Source #

threeWayMerge' :: (Monad m, ContentAddressable e) => (Causal m e -> Causal m e -> m (Maybe (Causal m e))) -> (Maybe e -> e -> e -> m e) -> Causal m e -> Causal m e -> m (Causal m e) Source #

squashMerge' :: (Monad m, ContentAddressable e, Eq e) => (Causal m e -> Causal m e -> m (Maybe (Causal m e))) -> (e -> m e) -> (Maybe e -> e -> e -> m e) -> Causal m e -> Causal m e -> m (Causal m e) Source #

lca :: Monad m => Causal m e -> Causal m e -> m (Maybe (Causal m e)) Source #

stepDistinct :: forall (m :: Type -> Type) e. (Applicative m, Eq e, ContentAddressable e) => (e -> e) -> Causal m e -> Causal m e Source #

stepDistinctM :: forall (m :: Type -> Type) n e. (Applicative m, Functor n, Eq e, ContentAddressable e) => (e -> n e) -> Causal m e -> n (Causal m e) Source #

transform :: Functor m => (forall a. m a -> n a) -> Causal m e -> Causal n e Source #

unsafeMapHashPreserving :: forall (m :: Type -> Type) e e2. Functor m => (e -> e2) -> Causal m e -> Causal m e2 Source #

before :: Monad m => Causal m e -> Causal m e -> m Bool Source #

beforeHash :: Monad m => Word -> CausalHash -> Causal m e -> m Bool Source #