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.Singletons.Prelude.Function

Contents

Prelude re-exports
Other combinators
Defunctionalization symbols

Description

Defines singleton versions of the definitions in 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 ...
sId :: forall (t :: a). Sing t -> Sing (Apply IdSym0 t :: a)
type family Const (a :: a) (a :: b) :: a where ...
sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a)
type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
(%.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (.@#@$) t) t) t :: c)
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c)
type family (a :: TyFun a b -> Type) $ (a :: a) :: b where ...
(%$) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b)
type family (a :: a) & (a :: TyFun a b -> Type) :: b where ...
(%&) :: forall (t :: a) (t :: TyFun a b -> Type). Sing t -> Sing t -> Sing (Apply (Apply (&@#@$) t) t :: b)
type family On (a :: TyFun b (TyFun b c -> Type) -> Type) (a :: TyFun a b -> Type) (a :: a) (a :: a) :: c where ...
sOn :: forall (t :: TyFun b (TyFun b c -> Type) -> Type) (t :: TyFun a b -> Type) (t :: a) (t :: a). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply OnSym0 t) t) t) t :: c)
data IdSym0 (l :: TyFun a6989586621679435602 a6989586621679435602)
type IdSym1 (t :: a6989586621679435602) = Id t
data ConstSym0 (l :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type))
data ConstSym1 (l :: a6989586621679435600) (l :: TyFun b6989586621679435601 a6989586621679435600)
type ConstSym2 (t :: a6989586621679435600) (t :: b6989586621679435601) = Const t t
data (.@#@$) (l :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type))
data (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type))
data ((l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$$ (l :: TyFun a6989586621679435599 b6989586621679435597 -> Type)) (l :: TyFun a6989586621679435599 c6989586621679435598)
type (.@#@$$$$) (t :: TyFun b6989586621679435597 c6989586621679435598 -> Type) (t :: TyFun a6989586621679435599 b6989586621679435597 -> Type) (t :: a6989586621679435599) = (:.) t t t
data FlipSym0 (l :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type))
data FlipSym1 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type))
data FlipSym2 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: b6989586621679435595) (l :: TyFun a6989586621679435594 c6989586621679435596)
type FlipSym3 (t :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (t :: b6989586621679435595) (t :: a6989586621679435594) = Flip t t t
data ($@#@$) (l :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type))
data (l :: TyFun a6989586621679435591 b6989586621679435592 -> Type) $@#@$$ (l :: TyFun a6989586621679435591 b6989586621679435592)
type ($@#@$$$) (t :: TyFun a6989586621679435591 b6989586621679435592 -> Type) (t :: a6989586621679435591) = ($) t t
data (&@#@$) (l :: TyFun a6989586621679782850 (TyFun (TyFun a6989586621679782850 b6989586621679782851 -> Type) b6989586621679782851 -> Type))
data (l :: a6989586621679782850) &@#@$$ (l :: TyFun (TyFun a6989586621679782850 b6989586621679782851 -> Type) b6989586621679782851)
type (&@#@$$$) (t :: a6989586621679782850) (t :: TyFun a6989586621679782850 b6989586621679782851 -> Type) = (&) t t
data OnSym0 (l :: TyFun (TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (TyFun (TyFun a6989586621679782854 b6989586621679782852 -> Type) (TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type) -> Type) -> Type))
data OnSym1 (l :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (l :: TyFun (TyFun a6989586621679782854 b6989586621679782852 -> Type) (TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type) -> Type))
data OnSym2 (l :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (l :: TyFun a6989586621679782854 b6989586621679782852 -> Type) (l :: TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type))
data OnSym3 (l :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (l :: TyFun a6989586621679782854 b6989586621679782852 -> Type) (l :: a6989586621679782854) (l :: TyFun a6989586621679782854 c6989586621679782853)
type OnSym4 (t :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (t :: TyFun a6989586621679782854 b6989586621679782852 -> Type) (t :: a6989586621679782854) (t :: a6989586621679782854) = On t t t t

Prelude re-exports

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

Equations

Id x = x

sId :: forall (t :: a). Sing t -> Sing (Apply IdSym0 t :: a) #

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

Equations

Const x _ = x

sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a) #

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

Equations

(f :. g) a_6989586621679435774 = Apply (Apply (Apply (Apply Lambda_6989586621679435779Sym0 f) g) a_6989586621679435774) a_6989586621679435774

(%.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (.@#@$) t) t) t :: c) infixr 9 #

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

Equations

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

sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c) #

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

Equations

f $ x = Apply f x

(%$) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b) infixr 0 #

Other combinators

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

Equations

x & f = Apply f x

(%&) :: forall (t :: a) (t :: TyFun a b -> Type). Sing t -> Sing t -> Sing (Apply (Apply (&@#@$) t) t :: b) infixl 1 #

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

Equations

On ty f a_6989586621679782896 a_6989586621679782898 = Apply (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679782904Sym0 ty) f) a_6989586621679782896) a_6989586621679782898) a_6989586621679782896) a_6989586621679782898

sOn :: forall (t :: TyFun b (TyFun b c -> Type) -> Type) (t :: TyFun a b -> Type) (t :: a) (t :: a). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply OnSym0 t) t) t) t :: c) infixl 0 #

Defunctionalization symbols

data IdSym0 (l :: TyFun a6989586621679435602 a6989586621679435602) #

Instances

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

type IdSym1 (t :: a6989586621679435602) = Id t #

data ConstSym0 (l :: TyFun a6989586621679435600 (TyFun b6989586621679435601 a6989586621679435600 -> Type)) #

Instances

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

data ConstSym1 (l :: a6989586621679435600) (l :: TyFun b6989586621679435601 a6989586621679435600) #

Instances

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

type ConstSym2 (t :: a6989586621679435600) (t :: b6989586621679435601) = Const t t #

data (.@#@$) (l :: TyFun (TyFun b6989586621679435597 c6989586621679435598 -> Type) (TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type) -> Type)) #

Instances

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

data (l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679435599 b6989586621679435597 -> Type) (TyFun a6989586621679435599 c6989586621679435598 -> Type)) #

Instances

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

data ((l :: TyFun b6989586621679435597 c6989586621679435598 -> Type) .@#@$$$ (l :: TyFun a6989586621679435599 b6989586621679435597 -> Type)) (l :: TyFun a6989586621679435599 c6989586621679435598) #

Instances

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

type (.@#@$$$$) (t :: TyFun b6989586621679435597 c6989586621679435598 -> Type) (t :: TyFun a6989586621679435599 b6989586621679435597 -> Type) (t :: a6989586621679435599) = (:.) t t t #

data FlipSym0 (l :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type) -> Type) -> *) (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) = FlipSym1 l

data FlipSym1 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: TyFun b6989586621679435595 (TyFun a6989586621679435594 c6989586621679435596 -> Type)) #

Instances

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

data FlipSym2 (l :: TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (l :: b6989586621679435595) (l :: TyFun a6989586621679435594 c6989586621679435596) #

Instances

SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) -> b6989586621679435595 -> TyFun a6989586621679435594 c6989586621679435596 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) #
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 a6989586621679435594 (TyFun b6989586621679435595 c6989586621679435596 -> Type) -> Type) (t :: b6989586621679435595) (t :: a6989586621679435594) = Flip t t t #

data ($@#@$) (l :: TyFun (TyFun a6989586621679435591 b6989586621679435592 -> Type) (TyFun a6989586621679435591 b6989586621679435592 -> Type)) #

Instances

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

data (l :: TyFun a6989586621679435591 b6989586621679435592 -> Type) $@#@$$ (l :: TyFun a6989586621679435591 b6989586621679435592) #

Instances

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

type ($@#@$$$) (t :: TyFun a6989586621679435591 b6989586621679435592 -> Type) (t :: a6989586621679435591) = ($) t t #

data (&@#@$) (l :: TyFun a6989586621679782850 (TyFun (TyFun a6989586621679782850 b6989586621679782851 -> Type) b6989586621679782851 -> Type)) #

Instances

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

data (l :: a6989586621679782850) &@#@$$ (l :: TyFun (TyFun a6989586621679782850 b6989586621679782851 -> Type) b6989586621679782851) #

Instances

SuppressUnusedWarnings ((&@#@$$) :: a6989586621679782850 -> TyFun (TyFun a6989586621679782850 b6989586621679782851 -> Type) b6989586621679782851 -> *) #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () #
type Apply ((&@#@$$) l1 :: TyFun (TyFun a b -> Type) b -> *) (l2 :: TyFun a b -> Type) #
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 :: a6989586621679782850) (t :: TyFun a6989586621679782850 b6989586621679782851 -> Type) = (&) t t #

data OnSym0 (l :: TyFun (TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (TyFun (TyFun a6989586621679782854 b6989586621679782852 -> Type) (TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (OnSym0 :: TyFun (TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (TyFun (TyFun a6989586621679782854 b6989586621679782852 -> Type) (TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type) -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () #
type Apply (OnSym0 :: TyFun (TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (TyFun (TyFun a6989586621679782854 b6989586621679782852 -> Type) (TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type) -> Type) -> Type) -> *) (l :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym0 :: TyFun (TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (TyFun (TyFun a6989586621679782854 b6989586621679782852 -> Type) (TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type) -> Type) -> Type) -> ) (l :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) = (OnSym1 l :: TyFun (TyFun a6989586621679782854 b6989586621679782852 -> Type) (TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type) -> Type) -> )

data OnSym1 (l :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (l :: TyFun (TyFun a6989586621679782854 b6989586621679782852 -> Type) (TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type) -> Type)) #

Instances

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

data OnSym2 (l :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (l :: TyFun a6989586621679782854 b6989586621679782852 -> Type) (l :: TyFun a6989586621679782854 (TyFun a6989586621679782854 c6989586621679782853 -> Type)) #

Instances

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

data OnSym3 (l :: TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (l :: TyFun a6989586621679782854 b6989586621679782852 -> Type) (l :: a6989586621679782854) (l :: TyFun a6989586621679782854 c6989586621679782853) #

Instances

SuppressUnusedWarnings (OnSym3 :: (TyFun b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) -> (TyFun a6989586621679782854 b6989586621679782852 -> Type) -> a6989586621679782854 -> TyFun a6989586621679782854 c6989586621679782853 -> *) #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () #
type Apply (OnSym3 l1 l2 l3 :: TyFun a c -> *) (l4 :: a) #
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 b6989586621679782852 (TyFun b6989586621679782852 c6989586621679782853 -> Type) -> Type) (t :: TyFun a6989586621679782854 b6989586621679782852 -> Type) (t :: a6989586621679782854) (t :: a6989586621679782854) = On t t t t #