Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Core.Apply

Contents

Apply function f in '(<<<)'

Synopsis

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

class Apply x where Source #

Minimal complete definition

apply

Associated Types

type Fun x :: * Source #

Methods

apply :: Fun x -> x Source #

Instances

Apply ((:.) Z a -> res) Source #
Associated Types type Fun ((:.) Z a -> res) :: * Source # Methods apply :: Fun ((Z :. a) -> res) -> (Z :. a) -> res Source #
Apply ((:.) ((:.) Z a) b -> res) Source #
Associated Types type Fun ((:.) ((:.) Z a) b -> res) :: * Source # Methods apply :: Fun (((Z :. a) :. b) -> res) -> ((Z :. a) :. b) -> res Source #
Apply ((:.) ((:.) ((:.) Z a) b) c -> res) Source #
Associated Types type Fun ((:.) ((:.) ((:.) Z a) b) c -> res) :: * Source # Methods apply :: Fun ((((Z :. a) :. b) :. c) -> res) -> (((Z :. a) :. b) :. c) -> res Source #
Apply ((:.) ((:.) ((:.) ((:.) Z a) b) c) d -> res) Source #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) Z a) b) c) d -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g) h -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g) h) i -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g) h) i) j -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g) h) i) j) k -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g) h) i) j) k) l -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g) h) i) j) k) l) m -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g) h) i) j) k) l) m) n -> res) :: * 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 #
Associated Types type Fun ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) ((:.) Z a) b) c) d) e) f) g) h) i) j) k) l) m) n) o -> res) :: * 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 '(<<<)'