unison-codebase-0.0.0
Safe HaskellNone
LanguageGHC2021

U.Codebase.Causal

Synopsis

Documentation

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

Constructors

Causal 

Fields

Instances

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) 
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-5FKraigoiaD4qZBOJmnx4m" '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)))))

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-5FKraigoiaD4qZBOJmnx4m" '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 :: forall (m :: Type -> Type) e e' pe pe' hc he. 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 #