Module
Causal.Kernel
- Package
- purescript-causal-graphs
- Repository
- colehaus/purescript-causal-graphs
#AreDisjoint Source
data AreDisjoint x y
#disjointnessCauseEffect Source
disjointnessCauseEffect :: forall a m n. Ord a => Named n { cause :: a, effect :: a } -> Named m (Set a) -> Maybe (Proof (AreDisjoint n m))
#disjointnessTwoSet Source
disjointnessTwoSet :: forall a m n. Ord a => Named n (TwoSet a) -> Named m (Set a) -> Maybe (Proof (AreDisjoint n m))
#disjointnessSingleton Source
disjointnessSingleton :: forall a m n. Ord a => Named n a -> Named m (Set a) -> Maybe (Proof (AreDisjoint n m))
#cause_disjoint Source
cause_disjoint :: forall m n. Proof (AreDisjoint n m) -> Proof (AreDisjoint (Cause n) m)
#effect_disjoint Source
effect_disjoint :: forall m n. Proof (AreDisjoint n m) -> Proof (AreDisjoint (Effect n) m)