Module
Data.EtaConversionTransformer
- Package
- purescript-eta-conversion
- Repository
- pujoheadsoft/purescript-eta-conversion
#EtaConversionTransformer Source
class EtaConversionTransformer function return constructor | return -> constructor, constructor -> return whereMembers
transform :: constructor -> function -> return
Instances
EtaConversionTransformer (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> ret) (o -> ret)EtaConversionTransformer (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> ret) (o -> ret)EtaConversionTransformer (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> ret) (o -> ret)EtaConversionTransformer (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> ret) (o -> ret)EtaConversionTransformer (a1 -> a2 -> a3 -> a4 -> a5 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> ret) (o -> ret)EtaConversionTransformer (a1 -> a2 -> a3 -> a4 -> o) (a1 -> a2 -> a3 -> a4 -> ret) (o -> ret)EtaConversionTransformer (a1 -> a2 -> a3 -> o) (a1 -> a2 -> a3 -> ret) (o -> ret)EtaConversionTransformer (a1 -> a2 -> o) (a1 -> a2 -> ret) (o -> ret)EtaConversionTransformer (a1 -> o) (a1 -> ret) (o -> ret)
#(<<|) Source
Operator alias for Data.EtaConversionTransformer.transform (right-associative / precedence 9)
#transformFlipped Source
transformFlipped :: forall function return constructor. EtaConversionTransformer function return constructor => function -> constructor -> return#(|>>) Source
Operator alias for Data.EtaConversionTransformer.transformFlipped (right-associative / precedence 8)
#WithInputEtaConversionTransformer Source
class WithInputEtaConversionTransformer function return constructor | return -> constructor, constructor -> return, return -> function whereMembers
transformWith :: constructor -> function -> return
Instances
WithInputEtaConversionTransformer (i -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> ret) ((i -> o) -> ret)WithInputEtaConversionTransformer (i -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> ret) ((i -> o) -> ret)WithInputEtaConversionTransformer (i -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> ret) ((i -> o) -> ret)WithInputEtaConversionTransformer (i -> a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> ret) ((i -> o) -> ret)WithInputEtaConversionTransformer (i -> a1 -> a2 -> a3 -> a4 -> a5 -> o) (a1 -> a2 -> a3 -> a4 -> a5 -> ret) ((i -> o) -> ret)WithInputEtaConversionTransformer (i -> a1 -> a2 -> a3 -> a4 -> o) (a1 -> a2 -> a3 -> a4 -> ret) ((i -> o) -> ret)WithInputEtaConversionTransformer (i -> a1 -> a2 -> a3 -> o) (a1 -> a2 -> a3 -> ret) ((i -> o) -> ret)WithInputEtaConversionTransformer (i -> a1 -> a2 -> o) (a1 -> a2 -> ret) ((i -> o) -> ret)WithInputEtaConversionTransformer (i -> a1 -> o) (a1 -> ret) ((i -> o) -> ret)
#(<<:) Source
Operator alias for Data.EtaConversionTransformer.transformWith (right-associative / precedence 9)
#transformWithFlipped Source
transformWithFlipped :: forall function return constructor. WithInputEtaConversionTransformer function return constructor => function -> constructor -> return