ADP.Fusion.Core.Apply

Apply function f in '(<<<)'

class Apply x where

Associated Types

type Fun x :: *

Methods

apply :: Fun x -> x

Instances

Apply ((Z :. a) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun ((Z :. a) -> res) :: Type

Methods

apply :: Fun ((Z :. a) -> res) -> (Z :. a) -> res

Apply (((Z :. a) :. b) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun (((Z :. a) :. b) -> res) :: Type

Methods

apply :: Fun (((Z :. a) :. b) -> res) -> ((Z :. a) :. b) -> res

Apply ((((Z :. a) :. b) :. c) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun ((((Z :. a) :. b) :. c) -> res) :: Type

Methods

apply :: Fun ((((Z :. a) :. b) :. c) -> res) -> (((Z :. a) :. b) :. c) -> res

Apply (((((Z :. a) :. b) :. c) :. d) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun (((((Z :. a) :. b) :. c) :. d) -> res) :: Type

Methods

apply :: Fun (((((Z :. a) :. b) :. c) :. d) -> res) -> ((((Z :. a) :. b) :. c) :. d) -> res

Apply ((((((Z :. a) :. b) :. c) :. d) :. e) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun ((((((Z :. a) :. b) :. c) :. d) :. e) -> res) :: Type

Methods

apply :: Fun ((((((Z :. a) :. b) :. c) :. d) :. e) -> res) -> (((((Z :. a) :. b) :. c) :. d) :. e) -> res

Apply (((((((Z :. a) :. b) :. c) :. d) :. e) :. f) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun (((((((Z :. a) :. b) :. c) :. d) :. e) :. f) -> res) :: Type

Methods

apply :: Fun (((((((Z :. a) :. b) :. c) :. d) :. e) :. f) -> res) -> ((((((Z :. a) :. b) :. c) :. d) :. e) :. f) -> res

Apply ((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun ((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) -> res) :: Type

Methods

apply :: Fun ((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) -> res) -> (((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) -> res

Apply (((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun (((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) -> res) :: Type

Methods

apply :: Fun (((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) -> res) -> ((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) -> res

Apply ((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun ((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) -> res) :: Type

Methods

apply :: Fun ((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) -> res) -> (((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) -> res

Apply (((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun (((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) -> res) :: Type

Methods

apply :: Fun (((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) -> res) -> ((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) -> res

Apply ((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun ((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) -> res) :: Type

Methods

apply :: Fun ((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) -> res) -> (((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) -> res

Apply (((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun (((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) -> res) :: Type

Methods

apply :: Fun (((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) -> res) -> ((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) -> res

Apply ((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun ((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) -> res) :: Type

Methods

apply :: Fun ((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) -> res) -> (((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) -> res

Apply (((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun (((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) -> res) :: Type

Methods

apply :: Fun (((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) -> res) -> ((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) -> res

Apply ((((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) :. o) -> res)

Defined in ADP.Fusion.Core.Apply

Associated Types

type Fun ((((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) :. o) -> res) :: Type

Methods

apply :: Fun ((((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) :. o) -> res) -> (((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) :. o) -> res