Module
Data.ArgsRotater
- Package
- purescript-eta-conversion
- Repository
- pujoheadsoft/purescript-eta-conversion
#ArgsRotater Source
class ArgsRotater input tail output | input -> output, output -> input where
Members
rotate :: input -> tail -> output
Instances
ArgsRotater (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> a9 -> ret) a9 (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> ret)
ArgsRotater (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> a8 -> ret) a8 (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> ret)
ArgsRotater (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> a7 -> ret) a7 (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> ret)
ArgsRotater (a1 -> a2 -> a3 -> a4 -> a5 -> a6 -> ret) a6 (a1 -> a2 -> a3 -> a4 -> a5 -> ret)
ArgsRotater (a1 -> a2 -> a3 -> a4 -> a5 -> ret) a5 (a1 -> a2 -> a3 -> a4 -> ret)
ArgsRotater (a1 -> a2 -> a3 -> a4 -> ret) a4 (a1 -> a2 -> a3 -> ret)
ArgsRotater (a1 -> a2 -> a3 -> ret) a3 (a1 -> a2 -> ret)
ArgsRotater (a1 -> a2 -> ret) a2 (a1 -> ret)