ADP.Fusion.Core.Apply

Apply function f in '(<<<)'

class Apply x where

Minimal complete definition

apply

Associated Types

type Fun x :: *

Methods

apply :: Fun x -> x

Instances

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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)

Associated Types

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

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