Control.DotDotDot

Haskell operator g ... f = \x1 .. xn -> g (f x1 .. xn). Compose functions such that all arguments are applied. Obviates (.).(.) and similar patterns in some cases.

Examples:

> ((+) ... (+) ... (+)) (1 :: Int) 2 3 4
10

Documentation

class b ~ IsFun f => DotDotDot f (b :: Bool) where

Class for defining ... recursively on function types.

Minimal complete definition

(...)

Associated Types

type Return (f :: *) (b :: Bool) :: *

type Replace (f :: *) (r :: *) (b :: Bool) :: *

Methods

(...) :: (Return f b -> r) -> f -> Replace f r b infixr 9

Instances

(~) Bool False (IsFun a) => DotDotDot a False

Associated Types

type Return a (False :: Bool) :: *

type Replace a r (False :: Bool) :: *

Methods

(...) :: (Return a False -> r) -> a -> Replace a r False

DotDotDot b (IsFun b) => DotDotDot (a -> b) True

Associated Types

type Return (a -> b) (True :: Bool) :: *

type Replace (a -> b) r (True :: Bool) :: *

Methods

(...) :: (Return (a -> b) True -> r) -> (a -> b) -> Replace (a -> b) r True

(…) :: (b ~ IsFun f, DotDotDot f b) => (Return f b -> r) -> f -> Replace f r b infixr 9

Alias for ....

type family IsFun (a :: *) :: Bool where ...

IsFun f is 'True if f has form _ -> _ and 'False otherwise.

Equations

IsFun (_ -> _) = True

IsFun _ = False