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
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 a6989586621679541509. (~>) a6989586621679541509 a6989586621679541509
- type IdSym1 (a6989586621679541704 :: a6989586621679541509) = Id a6989586621679541704
- data ConstSym0 :: forall a6989586621679541507 b6989586621679541508. (~>) a6989586621679541507 ((~>) b6989586621679541508 a6989586621679541507)
- data ConstSym1 (a6989586621679541699 :: a6989586621679541507) :: forall b6989586621679541508. (~>) b6989586621679541508 a6989586621679541507
- type ConstSym2 (a6989586621679541699 :: a6989586621679541507) (a6989586621679541700 :: b6989586621679541508) = Const a6989586621679541699 a6989586621679541700
- data (.@#@$) :: forall b6989586621679541504 c6989586621679541505 a6989586621679541506. (~>) ((~>) b6989586621679541504 c6989586621679541505) ((~>) ((~>) a6989586621679541506 b6989586621679541504) ((~>) a6989586621679541506 c6989586621679541505))
- data (.@#@$$) (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) :: forall a6989586621679541506. (~>) ((~>) a6989586621679541506 b6989586621679541504) ((~>) a6989586621679541506 c6989586621679541505)
- data (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) .@#@$$$ (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) :: (~>) a6989586621679541506 c6989586621679541505
- type (.@#@$$$$) (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) (a6989586621679541682 :: a6989586621679541506) = (.) a6989586621679541680 a6989586621679541681 a6989586621679541682
- data FlipSym0 :: forall a6989586621679541501 b6989586621679541502 c6989586621679541503. (~>) ((~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) ((~>) b6989586621679541502 ((~>) a6989586621679541501 c6989586621679541503))
- data FlipSym1 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) :: (~>) b6989586621679541502 ((~>) a6989586621679541501 c6989586621679541503)
- data FlipSym2 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) :: (~>) a6989586621679541501 c6989586621679541503
- type FlipSym3 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) (a6989586621679541673 :: a6989586621679541501) = Flip a6989586621679541671 a6989586621679541672 a6989586621679541673
- data ($@#@$) :: forall a6989586621679541498 b6989586621679541499. (~>) ((~>) a6989586621679541498 b6989586621679541499) ((~>) a6989586621679541498 b6989586621679541499)
- data ($@#@$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) :: (~>) a6989586621679541498 b6989586621679541499
- type ($@#@$$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) (a6989586621679541656 :: a6989586621679541498) = ($) a6989586621679541655 a6989586621679541656
- data (&@#@$) :: forall a6989586621679752632 b6989586621679752633. (~>) a6989586621679752632 ((~>) ((~>) a6989586621679752632 b6989586621679752633) b6989586621679752633)
- data (&@#@$$) (a6989586621679752645 :: a6989586621679752632) :: forall b6989586621679752633. (~>) ((~>) a6989586621679752632 b6989586621679752633) b6989586621679752633
- type (&@#@$$$) (a6989586621679752645 :: a6989586621679752632) (a6989586621679752646 :: (~>) a6989586621679752632 b6989586621679752633) = (&) a6989586621679752645 a6989586621679752646
- data OnSym0 :: forall b6989586621679752634 c6989586621679752635 a6989586621679752636. (~>) ((~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) ((~>) ((~>) a6989586621679752636 b6989586621679752634) ((~>) a6989586621679752636 ((~>) a6989586621679752636 c6989586621679752635)))
- data OnSym1 (a6989586621679752651 :: (~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) :: forall a6989586621679752636. (~>) ((~>) a6989586621679752636 b6989586621679752634) ((~>) a6989586621679752636 ((~>) a6989586621679752636 c6989586621679752635))
- data OnSym2 (a6989586621679752651 :: (~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) (a6989586621679752652 :: (~>) a6989586621679752636 b6989586621679752634) :: (~>) a6989586621679752636 ((~>) a6989586621679752636 c6989586621679752635)
- data OnSym3 (a6989586621679752651 :: (~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) (a6989586621679752652 :: (~>) a6989586621679752636 b6989586621679752634) (a6989586621679752653 :: a6989586621679752636) :: (~>) a6989586621679752636 c6989586621679752635
- type OnSym4 (a6989586621679752651 :: (~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) (a6989586621679752652 :: (~>) a6989586621679752636 b6989586621679752634) (a6989586621679752653 :: a6989586621679752636) (a6989586621679752654 :: a6989586621679752636) = On a6989586621679752651 a6989586621679752652 a6989586621679752653 a6989586621679752654
Prelude re-exports
sConst :: forall a b (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a) Source #
(%.) :: 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 #
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 #
(%$) :: forall a b (t :: (~>) a b) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b) infixr 0 Source #
Other combinators
(%&) :: 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 #
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 a6989586621679541509. (~>) a6989586621679541509 a6989586621679541509 Source #
Instances
SingI (IdSym0 :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679541509 a6989586621679541509 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679541704 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
data ConstSym0 :: forall a6989586621679541507 b6989586621679541508. (~>) a6989586621679541507 ((~>) b6989586621679541508 a6989586621679541507) Source #
Instances
SingI (ConstSym0 :: TyFun a (b ~> a) -> Type) Source # | |
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679541507 (b6989586621679541508 ~> a6989586621679541507) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym0 :: TyFun a6989586621679541507 (b6989586621679541508 ~> a6989586621679541507) -> Type) (a6989586621679541699 :: a6989586621679541507) Source # | |
Defined in Data.Singletons.Prelude.Base |
data ConstSym1 (a6989586621679541699 :: a6989586621679541507) :: forall b6989586621679541508. (~>) b6989586621679541508 a6989586621679541507 Source #
Instances
SingI d => SingI (ConstSym1 d b :: TyFun b a -> Type) Source # | |
SuppressUnusedWarnings (ConstSym1 a6989586621679541699 b6989586621679541508 :: TyFun b6989586621679541508 a6989586621679541507 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym1 a6989586621679541699 b :: TyFun b a -> Type) (a6989586621679541700 :: b) Source # | |
Defined in Data.Singletons.Prelude.Base |
type ConstSym2 (a6989586621679541699 :: a6989586621679541507) (a6989586621679541700 :: b6989586621679541508) = Const a6989586621679541699 a6989586621679541700 Source #
data (.@#@$) :: forall b6989586621679541504 c6989586621679541505 a6989586621679541506. (~>) ((~>) b6989586621679541504 c6989586621679541505) ((~>) ((~>) a6989586621679541506 b6989586621679541504) ((~>) a6989586621679541506 c6989586621679541505)) infixr 9 Source #
Instances
SingI ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) Source # | |
SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679541504 ~> c6989586621679541505) ((a6989586621679541506 ~> b6989586621679541504) ~> (a6989586621679541506 ~> c6989586621679541505)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((.@#@$) :: TyFun (b6989586621679541504 ~> c6989586621679541505) ((a6989586621679541506 ~> b6989586621679541504) ~> (a6989586621679541506 ~> c6989586621679541505)) -> Type) (a6989586621679541680 :: b6989586621679541504 ~> c6989586621679541505) Source # | |
Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (b6989586621679541504 ~> c6989586621679541505) ((a6989586621679541506 ~> b6989586621679541504) ~> (a6989586621679541506 ~> c6989586621679541505)) -> Type) (a6989586621679541680 :: b6989586621679541504 ~> c6989586621679541505) = a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type |
data (.@#@$$) (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) :: forall a6989586621679541506. (~>) ((~>) a6989586621679541506 b6989586621679541504) ((~>) a6989586621679541506 c6989586621679541505) infixr 9 Source #
Instances
SingI d => SingI (d .@#@$$ a :: TyFun (a ~> b) (a ~> c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type) (a6989586621679541681 :: a6989586621679541506 ~> b6989586621679541504) Source # | |
Defined in Data.Singletons.Prelude.Base |
data (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) .@#@$$$ (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) :: (~>) a6989586621679541506 c6989586621679541505 infixr 9 Source #
Instances
(SingI d1, SingI d2) => SingI (d1 .@#@$$$ d2 :: TyFun a c -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679541681 .@#@$$$ a6989586621679541680 :: TyFun a6989586621679541506 c6989586621679541505 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679541681 .@#@$$$ a6989586621679541680 :: TyFun a c -> Type) (a6989586621679541682 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type (.@#@$$$$) (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) (a6989586621679541682 :: a6989586621679541506) = (.) a6989586621679541680 a6989586621679541681 a6989586621679541682 Source #
data FlipSym0 :: forall a6989586621679541501 b6989586621679541502 c6989586621679541503. (~>) ((~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) ((~>) b6989586621679541502 ((~>) a6989586621679541501 c6989586621679541503)) Source #
Instances
SingI (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) Source # | |
SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) (b6989586621679541502 ~> (a6989586621679541501 ~> c6989586621679541503)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym0 :: TyFun (a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) (b6989586621679541502 ~> (a6989586621679541501 ~> c6989586621679541503)) -> Type) (a6989586621679541671 :: a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) Source # | |
Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) (b6989586621679541502 ~> (a6989586621679541501 ~> c6989586621679541503)) -> Type) (a6989586621679541671 :: a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) = FlipSym1 a6989586621679541671 |
data FlipSym1 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) :: (~>) b6989586621679541502 ((~>) a6989586621679541501 c6989586621679541503) Source #
Instances
SingI d => SingI (FlipSym1 d :: TyFun b (a ~> c) -> Type) Source # | |
SuppressUnusedWarnings (FlipSym1 a6989586621679541671 :: TyFun b6989586621679541502 (a6989586621679541501 ~> c6989586621679541503) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym1 a6989586621679541671 :: TyFun b6989586621679541502 (a6989586621679541501 ~> c6989586621679541503) -> Type) (a6989586621679541672 :: b6989586621679541502) Source # | |
data FlipSym2 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) :: (~>) a6989586621679541501 c6989586621679541503 Source #
Instances
(SingI d1, SingI d2) => SingI (FlipSym2 d1 d2 :: TyFun a c -> Type) Source # | |
SuppressUnusedWarnings (FlipSym2 a6989586621679541672 a6989586621679541671 :: TyFun a6989586621679541501 c6989586621679541503 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym2 a6989586621679541672 a6989586621679541671 :: TyFun a c -> Type) (a6989586621679541673 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type FlipSym3 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) (a6989586621679541673 :: a6989586621679541501) = Flip a6989586621679541671 a6989586621679541672 a6989586621679541673 Source #
data ($@#@$) :: forall a6989586621679541498 b6989586621679541499. (~>) ((~>) a6989586621679541498 b6989586621679541499) ((~>) a6989586621679541498 b6989586621679541499) infixr 0 Source #
Instances
SingI (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source # | |
SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679541498 ~> b6989586621679541499) (a6989586621679541498 ~> b6989586621679541499) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$) :: TyFun (a6989586621679541498 ~> b6989586621679541499) (a6989586621679541498 ~> b6989586621679541499) -> Type) (a6989586621679541655 :: a6989586621679541498 ~> b6989586621679541499) Source # | |
data ($@#@$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) :: (~>) a6989586621679541498 b6989586621679541499 infixr 0 Source #
Instances
SingI d => SingI (($@#@$$) d :: TyFun a b -> Type) Source # | |
SuppressUnusedWarnings (($@#@$$) a6989586621679541655 :: TyFun a6989586621679541498 b6989586621679541499 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$$) a6989586621679541655 :: TyFun a b -> Type) (a6989586621679541656 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type ($@#@$$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) (a6989586621679541656 :: a6989586621679541498) = ($) a6989586621679541655 a6989586621679541656 Source #
data (&@#@$) :: forall a6989586621679752632 b6989586621679752633. (~>) a6989586621679752632 ((~>) ((~>) a6989586621679752632 b6989586621679752633) b6989586621679752633) infixl 1 Source #
Instances
SingI ((&@#@$) :: TyFun a ((a ~> b) ~> b) -> Type) Source # | |
SuppressUnusedWarnings ((&@#@$) :: TyFun a6989586621679752632 ((a6989586621679752632 ~> b6989586621679752633) ~> b6989586621679752633) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply ((&@#@$) :: TyFun a6989586621679752632 ((a6989586621679752632 ~> b6989586621679752633) ~> b6989586621679752633) -> Type) (a6989586621679752645 :: a6989586621679752632) Source # | |
Defined in Data.Singletons.Prelude.Function type Apply ((&@#@$) :: TyFun a6989586621679752632 ((a6989586621679752632 ~> b6989586621679752633) ~> b6989586621679752633) -> Type) (a6989586621679752645 :: a6989586621679752632) = a6989586621679752645 &@#@$$ b6989586621679752633 :: TyFun (a6989586621679752632 ~> b6989586621679752633) b6989586621679752633 -> Type |
data (&@#@$$) (a6989586621679752645 :: a6989586621679752632) :: forall b6989586621679752633. (~>) ((~>) a6989586621679752632 b6989586621679752633) b6989586621679752633 infixl 1 Source #
Instances
SingI d => SingI (d &@#@$$ b :: TyFun (a ~> b) b -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679752645 &@#@$$ b6989586621679752633 :: TyFun (a6989586621679752632 ~> b6989586621679752633) b6989586621679752633 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679752645 &@#@$$ b :: TyFun (a ~> b) b -> Type) (a6989586621679752646 :: a ~> b) Source # | |
type (&@#@$$$) (a6989586621679752645 :: a6989586621679752632) (a6989586621679752646 :: (~>) a6989586621679752632 b6989586621679752633) = (&) a6989586621679752645 a6989586621679752646 Source #
data OnSym0 :: forall b6989586621679752634 c6989586621679752635 a6989586621679752636. (~>) ((~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) ((~>) ((~>) a6989586621679752636 b6989586621679752634) ((~>) a6989586621679752636 ((~>) a6989586621679752636 c6989586621679752635))) infixl 0 Source #
Instances
SingI (OnSym0 :: TyFun (b ~> (b ~> c)) ((a ~> b) ~> (a ~> (a ~> c))) -> Type) Source # | |
SuppressUnusedWarnings (OnSym0 :: TyFun (b6989586621679752634 ~> (b6989586621679752634 ~> c6989586621679752635)) ((a6989586621679752636 ~> b6989586621679752634) ~> (a6989586621679752636 ~> (a6989586621679752636 ~> c6989586621679752635))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (OnSym0 :: TyFun (b6989586621679752634 ~> (b6989586621679752634 ~> c6989586621679752635)) ((a6989586621679752636 ~> b6989586621679752634) ~> (a6989586621679752636 ~> (a6989586621679752636 ~> c6989586621679752635))) -> Type) (a6989586621679752651 :: b6989586621679752634 ~> (b6989586621679752634 ~> c6989586621679752635)) Source # | |
Defined in Data.Singletons.Prelude.Function type Apply (OnSym0 :: TyFun (b6989586621679752634 ~> (b6989586621679752634 ~> c6989586621679752635)) ((a6989586621679752636 ~> b6989586621679752634) ~> (a6989586621679752636 ~> (a6989586621679752636 ~> c6989586621679752635))) -> Type) (a6989586621679752651 :: b6989586621679752634 ~> (b6989586621679752634 ~> c6989586621679752635)) = OnSym1 a6989586621679752651 a6989586621679752636 :: TyFun (a6989586621679752636 ~> b6989586621679752634) (a6989586621679752636 ~> (a6989586621679752636 ~> c6989586621679752635)) -> Type |
data OnSym1 (a6989586621679752651 :: (~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) :: forall a6989586621679752636. (~>) ((~>) a6989586621679752636 b6989586621679752634) ((~>) a6989586621679752636 ((~>) a6989586621679752636 c6989586621679752635)) infixl 0 Source #
Instances
SingI d => SingI (OnSym1 d a :: TyFun (a ~> b) (a ~> (a ~> c)) -> Type) Source # | |
SuppressUnusedWarnings (OnSym1 a6989586621679752651 a6989586621679752636 :: TyFun (a6989586621679752636 ~> b6989586621679752634) (a6989586621679752636 ~> (a6989586621679752636 ~> c6989586621679752635)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (OnSym1 a6989586621679752651 a6989586621679752636 :: TyFun (a6989586621679752636 ~> b6989586621679752634) (a6989586621679752636 ~> (a6989586621679752636 ~> c6989586621679752635)) -> Type) (a6989586621679752652 :: a6989586621679752636 ~> b6989586621679752634) Source # | |
Defined in Data.Singletons.Prelude.Function type Apply (OnSym1 a6989586621679752651 a6989586621679752636 :: TyFun (a6989586621679752636 ~> b6989586621679752634) (a6989586621679752636 ~> (a6989586621679752636 ~> c6989586621679752635)) -> Type) (a6989586621679752652 :: a6989586621679752636 ~> b6989586621679752634) = OnSym2 a6989586621679752651 a6989586621679752652 |
data OnSym2 (a6989586621679752651 :: (~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) (a6989586621679752652 :: (~>) a6989586621679752636 b6989586621679752634) :: (~>) a6989586621679752636 ((~>) a6989586621679752636 c6989586621679752635) infixl 0 Source #
Instances
(SingI d1, SingI d2) => SingI (OnSym2 d1 d2 :: TyFun a (a ~> c) -> Type) Source # | |
SuppressUnusedWarnings (OnSym2 a6989586621679752652 a6989586621679752651 :: TyFun a6989586621679752636 (a6989586621679752636 ~> c6989586621679752635) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (OnSym2 a6989586621679752652 a6989586621679752651 :: TyFun a6989586621679752636 (a6989586621679752636 ~> c6989586621679752635) -> Type) (a6989586621679752653 :: a6989586621679752636) Source # | |
Defined in Data.Singletons.Prelude.Function |
data OnSym3 (a6989586621679752651 :: (~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) (a6989586621679752652 :: (~>) a6989586621679752636 b6989586621679752634) (a6989586621679752653 :: a6989586621679752636) :: (~>) a6989586621679752636 c6989586621679752635 infixl 0 Source #
Instances
(SingI d1, SingI d2, SingI d3) => SingI (OnSym3 d1 d2 d3 :: TyFun a c -> Type) Source # | |
SuppressUnusedWarnings (OnSym3 a6989586621679752653 a6989586621679752652 a6989586621679752651 :: TyFun a6989586621679752636 c6989586621679752635 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (OnSym3 a6989586621679752653 a6989586621679752652 a6989586621679752651 :: TyFun a c -> Type) (a6989586621679752654 :: a) Source # | |
Defined in Data.Singletons.Prelude.Function |
type OnSym4 (a6989586621679752651 :: (~>) b6989586621679752634 ((~>) b6989586621679752634 c6989586621679752635)) (a6989586621679752652 :: (~>) a6989586621679752636 b6989586621679752634) (a6989586621679752653 :: a6989586621679752636) (a6989586621679752654 :: a6989586621679752636) = On a6989586621679752651 a6989586621679752652 a6989586621679752653 a6989586621679752654 Source #