Copyright	(C) 2016 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
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 a (t :: a). Sing t -> Sing (Apply IdSym0 t :: a)
type family Const (a :: a) (a :: b) :: a where ...
sConst :: forall a b (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a)
type family ((a :: (~>) b c) . (a :: (~>) a b)) (a :: a) :: c where ...
(%.) :: forall b c a (t :: (~>) b c) (t :: (~>) a b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (.@#@$) t) t) t :: c)
type family Flip (a :: (~>) a ((~>) b c)) (a :: b) (a :: a) :: c where ...
sFlip :: forall a b c (t :: (~>) a ((~>) b c)) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c)
type family (a :: (~>) a b) $ (a :: a) :: b where ...
(%$) :: forall a b (t :: (~>) a b) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b)
type family (a :: a) & (a :: (~>) a b) :: b where ...
(%&) :: forall a b (t :: a) (t :: (~>) a b). Sing t -> Sing t -> Sing (Apply (Apply (&@#@$) t) t :: b)
type family On (a :: (~>) b ((~>) b c)) (a :: (~>) a b) (a :: a) (a :: a) :: c where ...
sOn :: forall b c a (t :: (~>) b ((~>) b c)) (t :: (~>) a b) (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 :: forall a6989586621679545432. (~>) a6989586621679545432 a6989586621679545432
type IdSym1 (a6989586621679545627 :: a6989586621679545432) = Id a6989586621679545627
data ConstSym0 :: forall a6989586621679545430 b6989586621679545431. (~>) a6989586621679545430 ((~>) b6989586621679545431 a6989586621679545430)
data ConstSym1 (a6989586621679545622 :: a6989586621679545430) :: forall b6989586621679545431. (~>) b6989586621679545431 a6989586621679545430
type ConstSym2 (a6989586621679545622 :: a6989586621679545430) (a6989586621679545623 :: b6989586621679545431) = Const a6989586621679545622 a6989586621679545623
data (.@#@$) :: forall b6989586621679545427 c6989586621679545428 a6989586621679545429. (~>) ((~>) b6989586621679545427 c6989586621679545428) ((~>) ((~>) a6989586621679545429 b6989586621679545427) ((~>) a6989586621679545429 c6989586621679545428))
data (.@#@$$) (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) :: forall a6989586621679545429. (~>) ((~>) a6989586621679545429 b6989586621679545427) ((~>) a6989586621679545429 c6989586621679545428)
data (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) .@#@$$$ (a6989586621679545604 :: (~>) a6989586621679545429 b6989586621679545427) :: (~>) a6989586621679545429 c6989586621679545428
type (.@#@$$$$) (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) (a6989586621679545604 :: (~>) a6989586621679545429 b6989586621679545427) (a6989586621679545605 :: a6989586621679545429) = (.) a6989586621679545603 a6989586621679545604 a6989586621679545605
data FlipSym0 :: forall a6989586621679545424 b6989586621679545425 c6989586621679545426. (~>) ((~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) ((~>) b6989586621679545425 ((~>) a6989586621679545424 c6989586621679545426))
data FlipSym1 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) :: (~>) b6989586621679545425 ((~>) a6989586621679545424 c6989586621679545426)
data FlipSym2 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) (a6989586621679545595 :: b6989586621679545425) :: (~>) a6989586621679545424 c6989586621679545426
type FlipSym3 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) (a6989586621679545595 :: b6989586621679545425) (a6989586621679545596 :: a6989586621679545424) = Flip a6989586621679545594 a6989586621679545595 a6989586621679545596
data ($@#@$) :: forall a6989586621679545421 b6989586621679545422. (~>) ((~>) a6989586621679545421 b6989586621679545422) ((~>) a6989586621679545421 b6989586621679545422)
data ($@#@$$) (a6989586621679545578 :: (~>) a6989586621679545421 b6989586621679545422) :: (~>) a6989586621679545421 b6989586621679545422
type ($@#@$$$) (a6989586621679545578 :: (~>) a6989586621679545421 b6989586621679545422) (a6989586621679545579 :: a6989586621679545421) = ($) a6989586621679545578 a6989586621679545579
data (&@#@$) :: forall a6989586621679756555 b6989586621679756556. (~>) a6989586621679756555 ((~>) ((~>) a6989586621679756555 b6989586621679756556) b6989586621679756556)
data (&@#@$$) (a6989586621679756568 :: a6989586621679756555) :: forall b6989586621679756556. (~>) ((~>) a6989586621679756555 b6989586621679756556) b6989586621679756556
type (&@#@$$$) (a6989586621679756568 :: a6989586621679756555) (a6989586621679756569 :: (~>) a6989586621679756555 b6989586621679756556) = (&) a6989586621679756568 a6989586621679756569
data OnSym0 :: forall b6989586621679756557 c6989586621679756558 a6989586621679756559. (~>) ((~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) ((~>) ((~>) a6989586621679756559 b6989586621679756557) ((~>) a6989586621679756559 ((~>) a6989586621679756559 c6989586621679756558)))
data OnSym1 (a6989586621679756574 :: (~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) :: forall a6989586621679756559. (~>) ((~>) a6989586621679756559 b6989586621679756557) ((~>) a6989586621679756559 ((~>) a6989586621679756559 c6989586621679756558))
data OnSym2 (a6989586621679756574 :: (~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) (a6989586621679756575 :: (~>) a6989586621679756559 b6989586621679756557) :: (~>) a6989586621679756559 ((~>) a6989586621679756559 c6989586621679756558)
data OnSym3 (a6989586621679756574 :: (~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) (a6989586621679756575 :: (~>) a6989586621679756559 b6989586621679756557) (a6989586621679756576 :: a6989586621679756559) :: (~>) a6989586621679756559 c6989586621679756558
type OnSym4 (a6989586621679756574 :: (~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) (a6989586621679756575 :: (~>) a6989586621679756559 b6989586621679756557) (a6989586621679756576 :: a6989586621679756559) (a6989586621679756577 :: a6989586621679756559) = On a6989586621679756574 a6989586621679756575 a6989586621679756576 a6989586621679756577

Prelude re-exports

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

Equations

Id x = x

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

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

Equations

Const x _ = x

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

type family ((a :: (~>) b c) . (a :: (~>) a b)) (a :: a) :: c where ... infixr 9 Source #

Equations

(f . g) a_6989586621679545609 = Apply (Apply (Apply (Apply Lambda_6989586621679545614Sym0 f) g) a_6989586621679545609) a_6989586621679545609

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

type family Flip (a :: (~>) a ((~>) b c)) (a :: b) (a :: a) :: c where ... Source #

Equations

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

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

type family (a :: (~>) a b) $ (a :: a) :: b where ... infixr 0 Source #

Equations

f $ x = Apply f x

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

Other combinators

type family (a :: a) & (a :: (~>) a b) :: b where ... infixl 1 Source #

Equations

x & f = Apply f x

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

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

Equations

On ty f a_6989586621679756582 a_6989586621679756584 = Apply (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679756590Sym0 ty) f) a_6989586621679756582) a_6989586621679756584) a_6989586621679756582) a_6989586621679756584

sOn :: forall b c a (t :: (~>) b ((~>) b c)) (t :: (~>) a b) (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 Source #

Defunctionalization symbols

data IdSym0 :: forall a6989586621679545432. (~>) a6989586621679545432 a6989586621679545432 Source #

Instances

Instances details

SingI (IdSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing IdSym0 Source #
SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679545432 a6989586621679545432 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679545627 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679545627 :: a) = Id a6989586621679545627

type IdSym1 (a6989586621679545627 :: a6989586621679545432) = Id a6989586621679545627 Source #

data ConstSym0 :: forall a6989586621679545430 b6989586621679545431. (~>) a6989586621679545430 ((~>) b6989586621679545431 a6989586621679545430) Source #

Instances

Instances details

SingI (ConstSym0 :: TyFun a (b ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing ConstSym0 Source #
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679545430 (b6989586621679545431 ~> a6989586621679545430) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (ConstSym0 :: TyFun a6989586621679545430 (b6989586621679545431 ~> a6989586621679545430) -> Type) (a6989586621679545622 :: a6989586621679545430) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym0 :: TyFun a6989586621679545430 (b6989586621679545431 ~> a6989586621679545430) -> Type) (a6989586621679545622 :: a6989586621679545430) = ConstSym1 a6989586621679545622 b6989586621679545431 :: TyFun b6989586621679545431 a6989586621679545430 -> Type

data ConstSym1 (a6989586621679545622 :: a6989586621679545430) :: forall b6989586621679545431. (~>) b6989586621679545431 a6989586621679545430 Source #

Instances

Instances details

SingI d => SingI (ConstSym1 d b :: TyFun b a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (ConstSym1 d b) Source #
SuppressUnusedWarnings (ConstSym1 a6989586621679545622 b6989586621679545431 :: TyFun b6989586621679545431 a6989586621679545430 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (ConstSym1 a6989586621679545622 b :: TyFun b a -> Type) (a6989586621679545623 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym1 a6989586621679545622 b :: TyFun b a -> Type) (a6989586621679545623 :: b) = Const a6989586621679545622 a6989586621679545623

type ConstSym2 (a6989586621679545622 :: a6989586621679545430) (a6989586621679545623 :: b6989586621679545431) = Const a6989586621679545622 a6989586621679545623 Source #

data (.@#@$) :: forall b6989586621679545427 c6989586621679545428 a6989586621679545429. (~>) ((~>) b6989586621679545427 c6989586621679545428) ((~>) ((~>) a6989586621679545429 b6989586621679545427) ((~>) a6989586621679545429 c6989586621679545428)) infixr 9 Source #

Instances

Instances details

SingI ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (.@#@$) Source #
SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679545427 ~> c6989586621679545428) ((a6989586621679545429 ~> b6989586621679545427) ~> (a6989586621679545429 ~> c6989586621679545428)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((.@#@$) :: TyFun (b6989586621679545427 ~> c6989586621679545428) ((a6989586621679545429 ~> b6989586621679545427) ~> (a6989586621679545429 ~> c6989586621679545428)) -> Type) (a6989586621679545603 :: b6989586621679545427 ~> c6989586621679545428) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (b6989586621679545427 ~> c6989586621679545428) ((a6989586621679545429 ~> b6989586621679545427) ~> (a6989586621679545429 ~> c6989586621679545428)) -> Type) (a6989586621679545603 :: b6989586621679545427 ~> c6989586621679545428) = a6989586621679545603 .@#@$$ a6989586621679545429 :: TyFun (a6989586621679545429 ~> b6989586621679545427) (a6989586621679545429 ~> c6989586621679545428) -> Type

data (.@#@$$) (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) :: forall a6989586621679545429. (~>) ((~>) a6989586621679545429 b6989586621679545427) ((~>) a6989586621679545429 c6989586621679545428) infixr 9 Source #

Instances

Instances details

SingI d => SingI (d .@#@$$ a :: TyFun (a ~> b) (a ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (d .@#@$$ a) Source #
SuppressUnusedWarnings (a6989586621679545603 .@#@$$ a6989586621679545429 :: TyFun (a6989586621679545429 ~> b6989586621679545427) (a6989586621679545429 ~> c6989586621679545428) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679545603 .@#@$$ a6989586621679545429 :: TyFun (a6989586621679545429 ~> b6989586621679545427) (a6989586621679545429 ~> c6989586621679545428) -> Type) (a6989586621679545604 :: a6989586621679545429 ~> b6989586621679545427) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679545603 .@#@$$ a6989586621679545429 :: TyFun (a6989586621679545429 ~> b6989586621679545427) (a6989586621679545429 ~> c6989586621679545428) -> Type) (a6989586621679545604 :: a6989586621679545429 ~> b6989586621679545427) = a6989586621679545603 .@#@$$$ a6989586621679545604

data (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) .@#@$$$ (a6989586621679545604 :: (~>) a6989586621679545429 b6989586621679545427) :: (~>) a6989586621679545429 c6989586621679545428 infixr 9 Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (d1 .@#@$$$ d2 :: TyFun a c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (d1 .@#@$$$ d2) Source #
SuppressUnusedWarnings (a6989586621679545604 .@#@$$$ a6989586621679545603 :: TyFun a6989586621679545429 c6989586621679545428 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679545604 .@#@$$$ a6989586621679545603 :: TyFun a c -> Type) (a6989586621679545605 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679545604 .@#@$$$ a6989586621679545603 :: TyFun a c -> Type) (a6989586621679545605 :: a) = (a6989586621679545604 . a6989586621679545603) a6989586621679545605

type (.@#@$$$$) (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) (a6989586621679545604 :: (~>) a6989586621679545429 b6989586621679545427) (a6989586621679545605 :: a6989586621679545429) = (.) a6989586621679545603 a6989586621679545604 a6989586621679545605 Source #

data FlipSym0 :: forall a6989586621679545424 b6989586621679545425 c6989586621679545426. (~>) ((~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) ((~>) b6989586621679545425 ((~>) a6989586621679545424 c6989586621679545426)) Source #

Instances

Instances details

SingI (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing FlipSym0 Source #
SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679545424 ~> (b6989586621679545425 ~> c6989586621679545426)) (b6989586621679545425 ~> (a6989586621679545424 ~> c6989586621679545426)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym0 :: TyFun (a6989586621679545424 ~> (b6989586621679545425 ~> c6989586621679545426)) (b6989586621679545425 ~> (a6989586621679545424 ~> c6989586621679545426)) -> Type) (a6989586621679545594 :: a6989586621679545424 ~> (b6989586621679545425 ~> c6989586621679545426)) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (a6989586621679545424 ~> (b6989586621679545425 ~> c6989586621679545426)) (b6989586621679545425 ~> (a6989586621679545424 ~> c6989586621679545426)) -> Type) (a6989586621679545594 :: a6989586621679545424 ~> (b6989586621679545425 ~> c6989586621679545426)) = FlipSym1 a6989586621679545594

data FlipSym1 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) :: (~>) b6989586621679545425 ((~>) a6989586621679545424 c6989586621679545426) Source #

Instances

Instances details

SingI d => SingI (FlipSym1 d :: TyFun b (a ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (FlipSym1 d) Source #
SuppressUnusedWarnings (FlipSym1 a6989586621679545594 :: TyFun b6989586621679545425 (a6989586621679545424 ~> c6989586621679545426) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym1 a6989586621679545594 :: TyFun b6989586621679545425 (a6989586621679545424 ~> c6989586621679545426) -> Type) (a6989586621679545595 :: b6989586621679545425) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym1 a6989586621679545594 :: TyFun b6989586621679545425 (a6989586621679545424 ~> c6989586621679545426) -> Type) (a6989586621679545595 :: b6989586621679545425) = FlipSym2 a6989586621679545594 a6989586621679545595

data FlipSym2 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) (a6989586621679545595 :: b6989586621679545425) :: (~>) a6989586621679545424 c6989586621679545426 Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (FlipSym2 d1 d2 :: TyFun a c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (FlipSym2 d1 d2) Source #
SuppressUnusedWarnings (FlipSym2 a6989586621679545595 a6989586621679545594 :: TyFun a6989586621679545424 c6989586621679545426 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym2 a6989586621679545595 a6989586621679545594 :: TyFun a c -> Type) (a6989586621679545596 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym2 a6989586621679545595 a6989586621679545594 :: TyFun a c -> Type) (a6989586621679545596 :: a) = Flip a6989586621679545595 a6989586621679545594 a6989586621679545596

type FlipSym3 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) (a6989586621679545595 :: b6989586621679545425) (a6989586621679545596 :: a6989586621679545424) = Flip a6989586621679545594 a6989586621679545595 a6989586621679545596 Source #

data ($@#@$) :: forall a6989586621679545421 b6989586621679545422. (~>) ((~>) a6989586621679545421 b6989586621679545422) ((~>) a6989586621679545421 b6989586621679545422) infixr 0 Source #

Instances

Instances details

SingI (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing ($@#@$) Source #
SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679545421 ~> b6989586621679545422) (a6989586621679545421 ~> b6989586621679545422) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($@#@$) :: TyFun (a6989586621679545421 ~> b6989586621679545422) (a6989586621679545421 ~> b6989586621679545422) -> Type) (a6989586621679545578 :: a6989586621679545421 ~> b6989586621679545422) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$) :: TyFun (a6989586621679545421 ~> b6989586621679545422) (a6989586621679545421 ~> b6989586621679545422) -> Type) (a6989586621679545578 :: a6989586621679545421 ~> b6989586621679545422) = ($@#@$$) a6989586621679545578

data ($@#@$$) (a6989586621679545578 :: (~>) a6989586621679545421 b6989586621679545422) :: (~>) a6989586621679545421 b6989586621679545422 infixr 0 Source #

Instances

Instances details

SingI d => SingI (($@#@$$) d :: TyFun a b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (($@#@$$) d) Source #
SuppressUnusedWarnings (($@#@$$) a6989586621679545578 :: TyFun a6989586621679545421 b6989586621679545422 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($@#@$$) a6989586621679545578 :: TyFun a b -> Type) (a6989586621679545579 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$$) a6989586621679545578 :: TyFun a b -> Type) (a6989586621679545579 :: a) = a6989586621679545578 $ a6989586621679545579

type ($@#@$$$) (a6989586621679545578 :: (~>) a6989586621679545421 b6989586621679545422) (a6989586621679545579 :: a6989586621679545421) = ($) a6989586621679545578 a6989586621679545579 Source #

data (&@#@$) :: forall a6989586621679756555 b6989586621679756556. (~>) a6989586621679756555 ((~>) ((~>) a6989586621679756555 b6989586621679756556) b6989586621679756556) infixl 1 Source #

Instances

Instances details

SingI ((&@#@$) :: TyFun a ((a ~> b) ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods sing :: Sing (&@#@$) Source #
SuppressUnusedWarnings ((&@#@$) :: TyFun a6989586621679756555 ((a6989586621679756555 ~> b6989586621679756556) ~> b6989586621679756556) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply ((&@#@$) :: TyFun a6989586621679756555 ((a6989586621679756555 ~> b6989586621679756556) ~> b6989586621679756556) -> Type) (a6989586621679756568 :: a6989586621679756555) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply ((&@#@$) :: TyFun a6989586621679756555 ((a6989586621679756555 ~> b6989586621679756556) ~> b6989586621679756556) -> Type) (a6989586621679756568 :: a6989586621679756555) = a6989586621679756568 &@#@$$ b6989586621679756556 :: TyFun (a6989586621679756555 ~> b6989586621679756556) b6989586621679756556 -> Type

data (&@#@$$) (a6989586621679756568 :: a6989586621679756555) :: forall b6989586621679756556. (~>) ((~>) a6989586621679756555 b6989586621679756556) b6989586621679756556 infixl 1 Source #

Instances

Instances details

SingI d => SingI (d &@#@$$ b :: TyFun (a ~> b) b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods sing :: Sing (d &@#@$$ b) Source #
SuppressUnusedWarnings (a6989586621679756568 &@#@$$ b6989586621679756556 :: TyFun (a6989586621679756555 ~> b6989586621679756556) b6989586621679756556 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679756568 &@#@$$ b :: TyFun (a ~> b) b -> Type) (a6989586621679756569 :: a ~> b) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (a6989586621679756568 &@#@$$ b :: TyFun (a ~> b) b -> Type) (a6989586621679756569 :: a ~> b) = a6989586621679756568 & a6989586621679756569

type (&@#@$$$) (a6989586621679756568 :: a6989586621679756555) (a6989586621679756569 :: (~>) a6989586621679756555 b6989586621679756556) = (&) a6989586621679756568 a6989586621679756569 Source #

data OnSym0 :: forall b6989586621679756557 c6989586621679756558 a6989586621679756559. (~>) ((~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) ((~>) ((~>) a6989586621679756559 b6989586621679756557) ((~>) a6989586621679756559 ((~>) a6989586621679756559 c6989586621679756558))) infixl 0 Source #

Instances

Instances details

SingI (OnSym0 :: TyFun (b ~> (b ~> c)) ((a ~> b) ~> (a ~> (a ~> c))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods sing :: Sing OnSym0 Source #
SuppressUnusedWarnings (OnSym0 :: TyFun (b6989586621679756557 ~> (b6989586621679756557 ~> c6989586621679756558)) ((a6989586621679756559 ~> b6989586621679756557) ~> (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym0 :: TyFun (b6989586621679756557 ~> (b6989586621679756557 ~> c6989586621679756558)) ((a6989586621679756559 ~> b6989586621679756557) ~> (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558))) -> Type) (a6989586621679756574 :: b6989586621679756557 ~> (b6989586621679756557 ~> c6989586621679756558)) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym0 :: TyFun (b6989586621679756557 ~> (b6989586621679756557 ~> c6989586621679756558)) ((a6989586621679756559 ~> b6989586621679756557) ~> (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558))) -> Type) (a6989586621679756574 :: b6989586621679756557 ~> (b6989586621679756557 ~> c6989586621679756558)) = OnSym1 a6989586621679756574 a6989586621679756559 :: TyFun (a6989586621679756559 ~> b6989586621679756557) (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558)) -> Type

data OnSym1 (a6989586621679756574 :: (~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) :: forall a6989586621679756559. (~>) ((~>) a6989586621679756559 b6989586621679756557) ((~>) a6989586621679756559 ((~>) a6989586621679756559 c6989586621679756558)) infixl 0 Source #

Instances

Instances details

SingI d => SingI (OnSym1 d a :: TyFun (a ~> b) (a ~> (a ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods sing :: Sing (OnSym1 d a) Source #
SuppressUnusedWarnings (OnSym1 a6989586621679756574 a6989586621679756559 :: TyFun (a6989586621679756559 ~> b6989586621679756557) (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym1 a6989586621679756574 a6989586621679756559 :: TyFun (a6989586621679756559 ~> b6989586621679756557) (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558)) -> Type) (a6989586621679756575 :: a6989586621679756559 ~> b6989586621679756557) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym1 a6989586621679756574 a6989586621679756559 :: TyFun (a6989586621679756559 ~> b6989586621679756557) (a6989586621679756559 ~> (a6989586621679756559 ~> c6989586621679756558)) -> Type) (a6989586621679756575 :: a6989586621679756559 ~> b6989586621679756557) = OnSym2 a6989586621679756574 a6989586621679756575

data OnSym2 (a6989586621679756574 :: (~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) (a6989586621679756575 :: (~>) a6989586621679756559 b6989586621679756557) :: (~>) a6989586621679756559 ((~>) a6989586621679756559 c6989586621679756558) infixl 0 Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (OnSym2 d1 d2 :: TyFun a (a ~> c) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods sing :: Sing (OnSym2 d1 d2) Source #
SuppressUnusedWarnings (OnSym2 a6989586621679756575 a6989586621679756574 :: TyFun a6989586621679756559 (a6989586621679756559 ~> c6989586621679756558) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym2 a6989586621679756575 a6989586621679756574 :: TyFun a6989586621679756559 (a6989586621679756559 ~> c6989586621679756558) -> Type) (a6989586621679756576 :: a6989586621679756559) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym2 a6989586621679756575 a6989586621679756574 :: TyFun a6989586621679756559 (a6989586621679756559 ~> c6989586621679756558) -> Type) (a6989586621679756576 :: a6989586621679756559) = OnSym3 a6989586621679756575 a6989586621679756574 a6989586621679756576

data OnSym3 (a6989586621679756574 :: (~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) (a6989586621679756575 :: (~>) a6989586621679756559 b6989586621679756557) (a6989586621679756576 :: a6989586621679756559) :: (~>) a6989586621679756559 c6989586621679756558 infixl 0 Source #

Instances

Instances details

(SingI d1, SingI d2, SingI d3) => SingI (OnSym3 d1 d2 d3 :: TyFun a c -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods sing :: Sing (OnSym3 d1 d2 d3) Source #
SuppressUnusedWarnings (OnSym3 a6989586621679756576 a6989586621679756575 a6989586621679756574 :: TyFun a6989586621679756559 c6989586621679756558 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym3 a6989586621679756576 a6989586621679756575 a6989586621679756574 :: TyFun a c -> Type) (a6989586621679756577 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym3 a6989586621679756576 a6989586621679756575 a6989586621679756574 :: TyFun a c -> Type) (a6989586621679756577 :: a) = On a6989586621679756576 a6989586621679756575 a6989586621679756574 a6989586621679756577

type OnSym4 (a6989586621679756574 :: (~>) b6989586621679756557 ((~>) b6989586621679756557 c6989586621679756558)) (a6989586621679756575 :: (~>) a6989586621679756559 b6989586621679756557) (a6989586621679756576 :: a6989586621679756559) (a6989586621679756577 :: a6989586621679756559) = On a6989586621679756574 a6989586621679756575 a6989586621679756576 a6989586621679756577 Source #