Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.Causal.Type

Documentation

Constructors

UnsafeOne
Fields currentHash :: CausalHash valueHash :: HashFor e head :: e
UnsafeCons
Fields currentHash :: CausalHash valueHash :: HashFor e head :: e tail :: (CausalHash, m (Causal m e))
UnsafeMerge
Fields currentHash :: CausalHash valueHash :: HashFor e head :: e tails :: Map CausalHash (m (Causal m e))

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 #

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