Searched refs:commuterRLId (Results 1 – 2 of 2) sorted by relevance
4 commuterIdRL, commuterRLId,83 commuterRLId :: CommuteFn p1 p2 -> CommuteFn (RL p1) p284 commuterRLId _ (NilRL :> y) = return (y :> NilRL) function85 commuterRLId commuter ((xs :<: x) :> y) function87 y'' :> xs' <- commuterRLId commuter (xs :> y')96 b' :> as' <- commuterRLId commuter (as :> b)
14 , commuterRLId66 commuteRL = commuterRLId commute