Searched refs:JoinedFact (Results 1 – 1 of 1) sorted by relevance
25 , DataflowLattice(..), OldFact(..), NewFact(..), JoinedFact(..)61 data JoinedFact a type65 getJoined :: JoinedFact a -> a69 changedIf :: Bool -> a -> JoinedFact a73 type JoinFun a = OldFact a -> NewFact a -> JoinedFact a