Есть класс (TF, буду использовать как монаду в Constraint-ах) - class

Question

Есть класс (TF, буду использовать как монаду в Constraint-ах) - class

Monad m => ClientM auth act m where
authClient :: Client auth act -> H.Request -> m (H.Request)и есть стрелка -
newtype ClientA auth act req resp = ClientA { runClient :: (Client auth act, req) -> IO (Client auth act, Maybe resp) }Как сменить IO на ClientM? Что-то выдает ошибки, не могу понять как это написать

#haskell #programming #russian

0

11.10.2020