Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
trying to write a typeclass instance for a type that could be expressed as \a b -> f (a -> b) if we had type level lambdas. I think it can be done with the type compose library, but I'm not sure exactly how. If anybody knows that be a lot of help!
\a b -> f (a -> b)
what is the kind of the typeclass?
(* -> * -> *)
@Julian KG I think you want Tannen f (->) :: * -> * -> *
Tannen f (->) :: * -> * -> *
https://hackage.haskell.org/package/bifunctors-5.5.5/docs/Data-Bifunctor-Tannen.html
You'll probably also want to import profunctors, that's where all the instances for Tannen f (->) are going to be
profunctors
Tannen f (->)
trying to write a typeclass instance for a type that could be expressed as
\a b -> f (a -> b)
if we had type level lambdas. I think it can be done with the type compose library, but I'm not sure exactly how. If anybody knows that be a lot of help!what is the kind of the typeclass?
(* -> * -> *)
@Julian KG I think you want
Tannen f (->) :: * -> * -> *
https://hackage.haskell.org/package/bifunctors-5.5.5/docs/Data-Bifunctor-Tannen.html
You'll probably also want to import
profunctors
, that's where all the instances forTannen f (->)
are going to be