Safe Haskell	Safe-Inferred
Language	GHC2021

U.Codebase.Causal

Synopsis

data Causal m hc he pe e = Causal {
- causalHash :: hc
- valueHash :: he
- parents :: Map hc (m (Causal m hc he pe pe))
- value :: m e
}
emap :: Functor m => (e -> e') -> (pe -> pe') -> Causal m hc he pe e -> Causal m hc he pe' e'
hoist :: Functor n => (forall x. m x -> n x) -> Causal m hc he pe e -> Causal n hc he pe e

Documentation

data Causal m hc he pe e Source #

Constructors

Causal
Fields causalHash :: hc valueHash :: he parents :: Map hc (m (Causal m hc he pe pe)) value :: m e

Instances details

Functor m => Functor (Causal m hc he pe) Source #
Instance details Defined in U.Codebase.Causal Methods fmap :: (a -> b) -> Causal m hc he pe a -> Causal m hc he pe b # (<$) :: a -> Causal m hc he pe b -> Causal m hc he pe a #
Generic (Causal m hc he pe e) Source #
Instance details Defined in U.Codebase.Causal Associated Types type Rep (Causal m hc he pe e) :: Type -> Type # Methods from :: Causal m hc he pe e -> Rep (Causal m hc he pe e) x # to :: Rep (Causal m hc he pe e) x -> Causal m hc he pe e #
Eq hc => Eq (Causal m hc he pe e) Source #
Instance details Defined in U.Codebase.Causal Methods (==) :: Causal m hc he pe e -> Causal m hc he pe e -> Bool # (/=) :: Causal m hc he pe e -> Causal m hc he pe e -> Bool #
type Rep (Causal m hc he pe e) Source #
Instance details Defined in U.Codebase.Causal type Rep (Causal m hc he pe e) = D1 ('MetaData "Causal" "U.Codebase.Causal" "unison-codebase-0.0.0-AFzt1HmKDX512erVMwvK3i" 'False) (C1 ('MetaCons "Causal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "causalHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 hc) :: S1 ('MetaSel ('Just "valueHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 he)) :: (S1 ('MetaSel ('Just "parents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map hc (m (Causal m hc he pe pe)))) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (m e)))))

emap :: Functor m => (e -> e') -> (pe -> pe') -> Causal m hc he pe e -> Causal m hc he pe' e' Source #

emap f g maps over the values and parents' values with f and g.

hoist :: Functor n => (forall x. m x -> n x) -> Causal m hc he pe e -> Causal n hc he pe e Source #