Wire.Sem.Now.Spec
propsForInterpreter :: PropConstraints r f => String -> (forall a. Sem r a -> IO (f a)) -> Spec Source #