Copyright	(C) 2016 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Promotion.Prelude.Function

Contents

Prelude re-exports
Other combinators
Defunctionalization symbols

Description

Defines promoted functions from Data.Function.

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.Function. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis

type family Id (a :: a) :: a where ...
type family Const (a :: a) (a :: b) :: a where ...
type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
type family (a :: TyFun a b -> Type) $ (a :: a) :: b where ...
type family (a :: a) & (a :: TyFun a b -> Type) :: b where ...
type family On (a :: TyFun b (TyFun b c -> Type) -> Type) (a :: TyFun a b -> Type) (a :: a) (a :: a) :: c where ...
data IdSym0 (l :: TyFun a6989586621679422443 a6989586621679422443)
type IdSym1 (t :: a6989586621679422443) = Id t
data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type))
data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441)
type ConstSym2 (t :: a6989586621679422441) (t :: b6989586621679422442) = Const t t
data (.@#@$) (l :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type))
data (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type))
data ((l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$$ (l :: TyFun a6989586621679422440 b6989586621679422438 -> Type)) (l :: TyFun a6989586621679422440 c6989586621679422439)
type (.@#@$$$$) (t :: TyFun b6989586621679422438 c6989586621679422439 -> Type) (t :: TyFun a6989586621679422440 b6989586621679422438 -> Type) (t :: a6989586621679422440) = (:.) t t t
data FlipSym0 (l :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type))
data FlipSym1 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type))
data FlipSym2 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: b6989586621679422436) (l :: TyFun a6989586621679422435 c6989586621679422437)
type FlipSym3 (t :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (t :: b6989586621679422436) (t :: a6989586621679422435) = Flip t t t
data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type))
data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433)
type ($@#@$$$) (t :: TyFun a6989586621679422432 b6989586621679422433 -> Type) (t :: a6989586621679422432) = ($) t t
data (&@#@$) (l :: TyFun a6989586621679761698 (TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699 -> Type))
data (l :: a6989586621679761698) &@#@$$ (l :: TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699)
type (&@#@$$$) (t :: a6989586621679761698) (t :: TyFun a6989586621679761698 b6989586621679761699 -> Type) = (&) t t
data OnSym0 (l :: TyFun (TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> Type))
data OnSym1 (l :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (l :: TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type))
data OnSym2 (l :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (l :: TyFun a6989586621679761702 b6989586621679761700 -> Type) (l :: TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type))
data OnSym3 (l :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (l :: TyFun a6989586621679761702 b6989586621679761700 -> Type) (l :: a6989586621679761702) (l :: TyFun a6989586621679761702 c6989586621679761701)
type OnSym4 (t :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (t :: TyFun a6989586621679761702 b6989586621679761700 -> Type) (t :: a6989586621679761702) (t :: a6989586621679761702) = On t t t t

Prelude re-exports

type family Id (a :: a) :: a where ... Source #

Equations

Id x = x

type family Const (a :: a) (a :: b) :: a where ... Source #

Equations

Const x _ = x

type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ... Source #

Equations

(f :. g) a_6989586621679422615 = Apply (Apply (Apply (Apply Lambda_6989586621679422620Sym0 f) g) a_6989586621679422615) a_6989586621679422615

type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... Source #

Equations

Flip f x y = Apply (Apply f y) x

type family (a :: TyFun a b -> Type) $ (a :: a) :: b where ... Source #

Equations

f $ x = Apply f x

Other combinators

type family (a :: a) & (a :: TyFun a b -> Type) :: b where ... Source #

Equations

x & f = Apply f x

type family On (a :: TyFun b (TyFun b c -> Type) -> Type) (a :: TyFun a b -> Type) (a :: a) (a :: a) :: c where ... infixl 0 Source #

Equations

On ty f a_6989586621679761744 a_6989586621679761746 = Apply (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679761752Sym0 ty) f) a_6989586621679761744) a_6989586621679761746) a_6989586621679761744) a_6989586621679761746

Defunctionalization symbols

data IdSym0 (l :: TyFun a6989586621679422443 a6989586621679422443) Source #

Instances

SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679422443 a6989586621679422443 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (IdSym0 :: TyFun a a -> *) (l :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (IdSym0 :: TyFun a a -> *) (l :: a) = Id l

type IdSym1 (t :: a6989586621679422443) = Id t Source #

data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type)) Source #

Instances

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) (l :: a6989586621679422441) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> ) (l :: a6989586621679422441) = (ConstSym1 l :: TyFun b6989586621679422442 a6989586621679422441 -> )

data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441) Source #

Instances

SuppressUnusedWarnings (ConstSym1 :: a6989586621679422441 -> TyFun b6989586621679422442 a6989586621679422441 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) = Const l1 l2

type ConstSym2 (t :: a6989586621679422441) (t :: b6989586621679422442) = Const t t Source #

data (.@#@$) (l :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> ) (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> )

data (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type)) Source #

Instances

SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679422438 c6989586621679422439 -> Type) -> TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) (l2 :: TyFun a6989586621679422440 b6989586621679422438 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) (l2 :: TyFun a6989586621679422440 b6989586621679422438 -> Type) = l1 .@#@$$$ l2

data ((l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$$ (l :: TyFun a6989586621679422440 b6989586621679422438 -> Type)) (l :: TyFun a6989586621679422440 c6989586621679422439) Source #

Instances

SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679422438 c6989586621679422439 -> Type) -> (TyFun a6989586621679422440 b6989586621679422438 -> Type) -> TyFun a6989586621679422440 c6989586621679422439 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) = (l1 :. l2) l3

type (.@#@$$$$) (t :: TyFun b6989586621679422438 c6989586621679422439 -> Type) (t :: TyFun a6989586621679422440 b6989586621679422438 -> Type) (t :: a6989586621679422440) = (:.) t t t Source #

data FlipSym0 (l :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) = FlipSym1 l

data FlipSym1 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type)) Source #

Instances

SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) -> TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym1 l1 :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) (l2 :: b6989586621679422436) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym1 l1 :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) (l2 :: b6989586621679422436) = FlipSym2 l1 l2

data FlipSym2 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: b6989586621679422436) (l :: TyFun a6989586621679422435 c6989586621679422437) Source #

Instances

SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) -> b6989586621679422436 -> TyFun a6989586621679422435 c6989586621679422437 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) = Flip l1 l2 l3

type FlipSym3 (t :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (t :: b6989586621679422436) (t :: a6989586621679422435) = Flip t t t Source #

data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type)) Source #

Instances

SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) = ($@#@$$) l

data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433) Source #

Instances

SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> TyFun a6989586621679422432 b6989586621679422433 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) = l1 $ l2

type ($@#@$$$) (t :: TyFun a6989586621679422432 b6989586621679422433 -> Type) (t :: a6989586621679422432) = ($) t t Source #

data (&@#@$) (l :: TyFun a6989586621679761698 (TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699 -> Type)) Source #

Instances

SuppressUnusedWarnings ((&@#@$) :: TyFun a6989586621679761698 (TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply ((&@#@$) :: TyFun a6989586621679761698 (TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699 -> Type) -> *) (l :: a6989586621679761698) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply ((&@#@$) :: TyFun a6989586621679761698 (TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699 -> Type) -> ) (l :: a6989586621679761698) = ((&@#@$$) l :: TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699 -> )

data (l :: a6989586621679761698) &@#@$$ (l :: TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699) Source #

Instances

SuppressUnusedWarnings ((&@#@$$) :: a6989586621679761698 -> TyFun (TyFun a6989586621679761698 b6989586621679761699 -> Type) b6989586621679761699 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply ((&@#@$$) l1 :: TyFun (TyFun a b -> Type) b -> *) (l2 :: TyFun a b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply ((&@#@$$) l1 :: TyFun (TyFun a b -> Type) b -> *) (l2 :: TyFun a b -> Type) = l1 & l2

type (&@#@$$$) (t :: a6989586621679761698) (t :: TyFun a6989586621679761698 b6989586621679761699 -> Type) = (&) t t Source #

data OnSym0 (l :: TyFun (TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (OnSym0 :: TyFun (TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym0 :: TyFun (TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> Type) -> *) (l :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym0 :: TyFun (TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> Type) -> ) (l :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) = (OnSym1 l :: TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> )

data OnSym1 (l :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (l :: TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (OnSym1 :: (TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) -> TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym1 l1 :: TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> *) (l2 :: TyFun a6989586621679761702 b6989586621679761700 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym1 l1 :: TyFun (TyFun a6989586621679761702 b6989586621679761700 -> Type) (TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> Type) -> *) (l2 :: TyFun a6989586621679761702 b6989586621679761700 -> Type) = OnSym2 l1 l2

data OnSym2 (l :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (l :: TyFun a6989586621679761702 b6989586621679761700 -> Type) (l :: TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type)) Source #

Instances

SuppressUnusedWarnings (OnSym2 :: (TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) -> (TyFun a6989586621679761702 b6989586621679761700 -> Type) -> TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym2 l1 l2 :: TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> *) (l3 :: a6989586621679761702) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym2 l1 l2 :: TyFun a6989586621679761702 (TyFun a6989586621679761702 c6989586621679761701 -> Type) -> *) (l3 :: a6989586621679761702) = OnSym3 l1 l2 l3

data OnSym3 (l :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (l :: TyFun a6989586621679761702 b6989586621679761700 -> Type) (l :: a6989586621679761702) (l :: TyFun a6989586621679761702 c6989586621679761701) Source #

Instances

SuppressUnusedWarnings (OnSym3 :: (TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) -> (TyFun a6989586621679761702 b6989586621679761700 -> Type) -> a6989586621679761702 -> TyFun a6989586621679761702 c6989586621679761701 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym3 l1 l2 l3 :: TyFun a c -> *) (l4 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym3 l1 l2 l3 :: TyFun a c -> *) (l4 :: a) = On l1 l2 l3 l4

type OnSym4 (t :: TyFun b6989586621679761700 (TyFun b6989586621679761700 c6989586621679761701 -> Type) -> Type) (t :: TyFun a6989586621679761702 b6989586621679761700 -> Type) (t :: a6989586621679761702) (t :: a6989586621679761702) = On t t t t Source #