BtcLsp.Grpc.Combinator

Documentation

fromReqT :: forall a b res failure specific m. (From a b, 'False ~ (a == b), GrpcRes res failure specific, Monad m) => ReversedFieldLocation -> Maybe a -> ExceptT res m b

fromReqE :: forall a b res failure specific. (From a b, 'False ~ (a == b), GrpcRes res failure specific) => ReversedFieldLocation -> Maybe a -> Either res b

newGenFailure :: forall res failure specific. GrpcRes res failure specific => InputFailureKind -> ReversedFieldLocation -> res

newSpecFailure :: forall res failure specific. GrpcRes res failure specific => specific -> res

newInternalFailure :: forall res failure specific. GrpcRes res failure specific => FailureInternal -> res

throwSpec :: forall a res failure specific m. (GrpcRes res failure specific, Monad m) => specific -> ExceptT res m a

mkFieldLocation :: forall a. Message a => [String] -> Q Exp

type GrpcReq req = HasField req "maybe'ctx" (Maybe Ctx)

type GrpcRes res failure specific = (HasField res "ctx" Ctx, HasField res "failure" failure, HasField failure "generic" [InputFailure], HasField failure "specific" [specific], HasField failure "internal" [InternalFailure], Message res, Message failure)