Modulepolysemy-1.9.2.0

Polysemy.NonDet

valuenonDetToError :: Member (Error e) r => e -> Sem (NonDet ': r) a -> Sem r a

valuerunNonDet :: Alternative f => Sem (NonDet ': r) a -> Sem r (f a)

valuerunNonDetMaybe :: Sem (NonDet ': r) a -> Sem r (Maybe a)

datadata NonDet (m :: Type -> Type) a