Module
Data.ReaderTEtaConversionTransformer
- Package
- purescript-eta-conversion
- Repository
- pujoheadsoft/purescript-eta-conversion
#ReaderTFunctionMaker Source
class ReaderTFunctionMaker input output | input -> output, output -> input whereMembers
readerT :: input -> output
Instances
(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> m a) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> ReaderT r m a)(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> m a) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> ReaderT r m a)(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> m a) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> ReaderT r m a)(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> m a) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> ReaderT r m a)(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> a2 -> a3 -> a4 -> a5 -> m a) (a1 -> a2 -> a3 -> a4 -> a5 -> ReaderT r m a)(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> a2 -> a3 -> a4 -> m a) (a1 -> a2 -> a3 -> a4 -> ReaderT r m a)(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> a2 -> a3 -> m a) (a1 -> a2 -> a3 -> ReaderT r m a)(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> a2 -> m a) (a1 -> a2 -> ReaderT r m a)(TypeEquals r x) => ReaderTFunctionMaker (x -> a1 -> m a) (a1 -> ReaderT r m a)
#extract Source
extract :: forall r x a. TypeEquals r x => r -> (x -> a) -> a