PIndexedState

scalaz

PIndexedStateT

scalaz

PLens

scalaz

PState

scalaz

PStateT

scalaz

Prop

nyaya

PropA

nyaya

Prop_AnyExt

nyaya

p

Biconditional

pass

Eval EvalOver Prop

propInstances

PropA