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)

#(<^) Source

Operator alias for Data.ArgsRotater.rotate (right-associative / precedence 9)

#(<<^) Source

Operator alias for Data.ArgsRotater.rotate (left-associative / precedence 9)