Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Core.Apply

Contents

Apply function f in '(<<<)'

Synopsis

class Apply x where
- type Fun x :: *
- apply :: Fun x -> x

Apply function `f` in '(<<<)'

class Apply x where Source #

Associated Types

type Fun x :: * Source #

Methods

apply :: Fun x -> x Source #

Instances

Apply ((Z :. a) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun ((Z :. a) -> res) :: Type Source # Methods apply :: Fun ((Z :. a) -> res) -> (Z :. a) -> res Source #
Apply (((Z :. a) :. b) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun (((Z :. a) :. b) -> res) :: Type Source # Methods apply :: Fun (((Z :. a) :. b) -> res) -> ((Z :. a) :. b) -> res Source #
Apply ((((Z :. a) :. b) :. c) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun ((((Z :. a) :. b) :. c) -> res) :: Type Source # Methods apply :: Fun ((((Z :. a) :. b) :. c) -> res) -> (((Z :. a) :. b) :. c) -> res Source #
Apply (((((Z :. a) :. b) :. c) :. d) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun (((((Z :. a) :. b) :. c) :. d) -> res) :: Type Source # Methods apply :: Fun (((((Z :. a) :. b) :. c) :. d) -> res) -> ((((Z :. a) :. b) :. c) :. d) -> res Source #
Apply ((((((Z :. a) :. b) :. c) :. d) :. e) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun ((((((Z :. a) :. b) :. c) :. d) :. e) -> res) :: Type Source # Methods apply :: Fun ((((((Z :. a) :. b) :. c) :. d) :. e) -> res) -> (((((Z :. a) :. b) :. c) :. d) :. e) -> res Source #
Apply (((((((Z :. a) :. b) :. c) :. d) :. e) :. f) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun (((((((Z :. a) :. b) :. c) :. d) :. e) :. f) -> res) :: Type Source # Methods apply :: Fun (((((((Z :. a) :. b) :. c) :. d) :. e) :. f) -> res) -> ((((((Z :. a) :. b) :. c) :. d) :. e) :. f) -> res Source #
Apply ((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun ((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) -> res) :: Type Source # Methods apply :: Fun ((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) -> res) -> (((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) -> res Source #
Apply (((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun (((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) -> res) :: Type Source # Methods apply :: Fun (((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) -> res) -> ((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) -> res Source #
Apply ((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun ((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) -> res) :: Type Source # 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 Source #
Apply (((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun (((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) -> res) :: Type Source # 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 Source #
Apply ((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) -> res) Source #
Instance details Defined in ADP.Fusion.Core.Apply Associated Types type Fun ((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) -> res) :: Type Source # 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 Source #
Apply (((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) -> res) Source #
Instance details 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 Source # 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 Source #
Apply ((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) -> res) Source #
Instance details 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 Source # 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 Source #
Apply (((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) -> res) Source #
Instance details 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 Source # 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 Source #
Apply ((((((((((((((((Z :. a) :. b) :. c) :. d) :. e) :. f) :. g) :. h) :. i) :. j) :. k) :. l) :. m) :. n) :. o) -> res) Source #
Instance details 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 Source # 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 Source #

Apply function f in '(<<<)'

Apply function `f` in '(<<<)'