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 a6989586621679541558. (~>) a6989586621679541558 a6989586621679541558
- type IdSym1 (a6989586621679541753 :: a6989586621679541558) = Id a6989586621679541753
- data ConstSym0 :: forall a6989586621679541556 b6989586621679541557. (~>) a6989586621679541556 ((~>) b6989586621679541557 a6989586621679541556)
- data ConstSym1 (a6989586621679541748 :: a6989586621679541556) :: forall b6989586621679541557. (~>) b6989586621679541557 a6989586621679541556
- type ConstSym2 (a6989586621679541748 :: a6989586621679541556) (a6989586621679541749 :: b6989586621679541557) = Const a6989586621679541748 a6989586621679541749
- data (.@#@$) :: forall b6989586621679541553 c6989586621679541554 a6989586621679541555. (~>) ((~>) b6989586621679541553 c6989586621679541554) ((~>) ((~>) a6989586621679541555 b6989586621679541553) ((~>) a6989586621679541555 c6989586621679541554))
- data (.@#@$$) (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) :: forall a6989586621679541555. (~>) ((~>) a6989586621679541555 b6989586621679541553) ((~>) a6989586621679541555 c6989586621679541554)
- data (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) .@#@$$$ (a6989586621679541730 :: (~>) a6989586621679541555 b6989586621679541553) :: (~>) a6989586621679541555 c6989586621679541554
- type (.@#@$$$$) (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) (a6989586621679541730 :: (~>) a6989586621679541555 b6989586621679541553) (a6989586621679541731 :: a6989586621679541555) = (.) a6989586621679541729 a6989586621679541730 a6989586621679541731
- data FlipSym0 :: forall a6989586621679541550 b6989586621679541551 c6989586621679541552. (~>) ((~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) ((~>) b6989586621679541551 ((~>) a6989586621679541550 c6989586621679541552))
- data FlipSym1 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) :: (~>) b6989586621679541551 ((~>) a6989586621679541550 c6989586621679541552)
- data FlipSym2 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) (a6989586621679541721 :: b6989586621679541551) :: (~>) a6989586621679541550 c6989586621679541552
- type FlipSym3 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) (a6989586621679541721 :: b6989586621679541551) (a6989586621679541722 :: a6989586621679541550) = Flip a6989586621679541720 a6989586621679541721 a6989586621679541722
- data ($@#@$) :: forall a6989586621679541547 b6989586621679541548. (~>) ((~>) a6989586621679541547 b6989586621679541548) ((~>) a6989586621679541547 b6989586621679541548)
- data ($@#@$$) (a6989586621679541704 :: (~>) a6989586621679541547 b6989586621679541548) :: (~>) a6989586621679541547 b6989586621679541548
- type ($@#@$$$) (a6989586621679541704 :: (~>) a6989586621679541547 b6989586621679541548) (a6989586621679541705 :: a6989586621679541547) = ($) a6989586621679541704 a6989586621679541705
- data (&@#@$) :: forall a6989586621679752681 b6989586621679752682. (~>) a6989586621679752681 ((~>) ((~>) a6989586621679752681 b6989586621679752682) b6989586621679752682)
- data (&@#@$$) (a6989586621679752694 :: a6989586621679752681) :: forall b6989586621679752682. (~>) ((~>) a6989586621679752681 b6989586621679752682) b6989586621679752682
- type (&@#@$$$) (a6989586621679752694 :: a6989586621679752681) (a6989586621679752695 :: (~>) a6989586621679752681 b6989586621679752682) = (&) a6989586621679752694 a6989586621679752695
- data OnSym0 :: forall b6989586621679752683 c6989586621679752684 a6989586621679752685. (~>) ((~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) ((~>) ((~>) a6989586621679752685 b6989586621679752683) ((~>) a6989586621679752685 ((~>) a6989586621679752685 c6989586621679752684)))
- data OnSym1 (a6989586621679752700 :: (~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) :: forall a6989586621679752685. (~>) ((~>) a6989586621679752685 b6989586621679752683) ((~>) a6989586621679752685 ((~>) a6989586621679752685 c6989586621679752684))
- data OnSym2 (a6989586621679752700 :: (~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) (a6989586621679752701 :: (~>) a6989586621679752685 b6989586621679752683) :: (~>) a6989586621679752685 ((~>) a6989586621679752685 c6989586621679752684)
- data OnSym3 (a6989586621679752700 :: (~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) (a6989586621679752701 :: (~>) a6989586621679752685 b6989586621679752683) (a6989586621679752702 :: a6989586621679752685) :: (~>) a6989586621679752685 c6989586621679752684
- type OnSym4 (a6989586621679752700 :: (~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) (a6989586621679752701 :: (~>) a6989586621679752685 b6989586621679752683) (a6989586621679752702 :: a6989586621679752685) (a6989586621679752703 :: a6989586621679752685) = On a6989586621679752700 a6989586621679752701 a6989586621679752702 a6989586621679752703
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 a6989586621679541558. (~>) a6989586621679541558 a6989586621679541558 Source #
Instances
SingI (IdSym0 :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679541558 a6989586621679541558 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679541753 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
data ConstSym0 :: forall a6989586621679541556 b6989586621679541557. (~>) a6989586621679541556 ((~>) b6989586621679541557 a6989586621679541556) Source #
Instances
SingI (ConstSym0 :: TyFun a (b ~> a) -> Type) Source # | |
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679541556 (b6989586621679541557 ~> a6989586621679541556) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym0 :: TyFun a6989586621679541556 (b6989586621679541557 ~> a6989586621679541556) -> Type) (a6989586621679541748 :: a6989586621679541556) Source # | |
Defined in Data.Singletons.Prelude.Base |
data ConstSym1 (a6989586621679541748 :: a6989586621679541556) :: forall b6989586621679541557. (~>) b6989586621679541557 a6989586621679541556 Source #
Instances
SingI d => SingI (ConstSym1 d b :: TyFun b a -> Type) Source # | |
SuppressUnusedWarnings (ConstSym1 a6989586621679541748 b6989586621679541557 :: TyFun b6989586621679541557 a6989586621679541556 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym1 a6989586621679541748 b :: TyFun b a -> Type) (a6989586621679541749 :: b) Source # | |
Defined in Data.Singletons.Prelude.Base |
type ConstSym2 (a6989586621679541748 :: a6989586621679541556) (a6989586621679541749 :: b6989586621679541557) = Const a6989586621679541748 a6989586621679541749 Source #
data (.@#@$) :: forall b6989586621679541553 c6989586621679541554 a6989586621679541555. (~>) ((~>) b6989586621679541553 c6989586621679541554) ((~>) ((~>) a6989586621679541555 b6989586621679541553) ((~>) a6989586621679541555 c6989586621679541554)) infixr 9 Source #
Instances
SingI ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) Source # | |
SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679541553 ~> c6989586621679541554) ((a6989586621679541555 ~> b6989586621679541553) ~> (a6989586621679541555 ~> c6989586621679541554)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((.@#@$) :: TyFun (b6989586621679541553 ~> c6989586621679541554) ((a6989586621679541555 ~> b6989586621679541553) ~> (a6989586621679541555 ~> c6989586621679541554)) -> Type) (a6989586621679541729 :: b6989586621679541553 ~> c6989586621679541554) Source # | |
Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (b6989586621679541553 ~> c6989586621679541554) ((a6989586621679541555 ~> b6989586621679541553) ~> (a6989586621679541555 ~> c6989586621679541554)) -> Type) (a6989586621679541729 :: b6989586621679541553 ~> c6989586621679541554) = a6989586621679541729 .@#@$$ a6989586621679541555 :: TyFun (a6989586621679541555 ~> b6989586621679541553) (a6989586621679541555 ~> c6989586621679541554) -> Type |
data (.@#@$$) (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) :: forall a6989586621679541555. (~>) ((~>) a6989586621679541555 b6989586621679541553) ((~>) a6989586621679541555 c6989586621679541554) infixr 9 Source #
Instances
SingI d => SingI (d .@#@$$ a :: TyFun (a ~> b) (a ~> c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679541729 .@#@$$ a6989586621679541555 :: TyFun (a6989586621679541555 ~> b6989586621679541553) (a6989586621679541555 ~> c6989586621679541554) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679541729 .@#@$$ a6989586621679541555 :: TyFun (a6989586621679541555 ~> b6989586621679541553) (a6989586621679541555 ~> c6989586621679541554) -> Type) (a6989586621679541730 :: a6989586621679541555 ~> b6989586621679541553) Source # | |
Defined in Data.Singletons.Prelude.Base |
data (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) .@#@$$$ (a6989586621679541730 :: (~>) a6989586621679541555 b6989586621679541553) :: (~>) a6989586621679541555 c6989586621679541554 infixr 9 Source #
Instances
(SingI d1, SingI d2) => SingI (d1 .@#@$$$ d2 :: TyFun a c -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679541730 .@#@$$$ a6989586621679541729 :: TyFun a6989586621679541555 c6989586621679541554 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679541730 .@#@$$$ a6989586621679541729 :: TyFun a c -> Type) (a6989586621679541731 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type (.@#@$$$$) (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) (a6989586621679541730 :: (~>) a6989586621679541555 b6989586621679541553) (a6989586621679541731 :: a6989586621679541555) = (.) a6989586621679541729 a6989586621679541730 a6989586621679541731 Source #
data FlipSym0 :: forall a6989586621679541550 b6989586621679541551 c6989586621679541552. (~>) ((~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) ((~>) b6989586621679541551 ((~>) a6989586621679541550 c6989586621679541552)) Source #
Instances
SingI (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) Source # | |
SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) (b6989586621679541551 ~> (a6989586621679541550 ~> c6989586621679541552)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym0 :: TyFun (a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) (b6989586621679541551 ~> (a6989586621679541550 ~> c6989586621679541552)) -> Type) (a6989586621679541720 :: a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) Source # | |
Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) (b6989586621679541551 ~> (a6989586621679541550 ~> c6989586621679541552)) -> Type) (a6989586621679541720 :: a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) = FlipSym1 a6989586621679541720 |
data FlipSym1 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) :: (~>) b6989586621679541551 ((~>) a6989586621679541550 c6989586621679541552) Source #
Instances
SingI d => SingI (FlipSym1 d :: TyFun b (a ~> c) -> Type) Source # | |
SuppressUnusedWarnings (FlipSym1 a6989586621679541720 :: TyFun b6989586621679541551 (a6989586621679541550 ~> c6989586621679541552) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym1 a6989586621679541720 :: TyFun b6989586621679541551 (a6989586621679541550 ~> c6989586621679541552) -> Type) (a6989586621679541721 :: b6989586621679541551) Source # | |
data FlipSym2 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) (a6989586621679541721 :: b6989586621679541551) :: (~>) a6989586621679541550 c6989586621679541552 Source #
Instances
(SingI d1, SingI d2) => SingI (FlipSym2 d1 d2 :: TyFun a c -> Type) Source # | |
SuppressUnusedWarnings (FlipSym2 a6989586621679541721 a6989586621679541720 :: TyFun a6989586621679541550 c6989586621679541552 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym2 a6989586621679541721 a6989586621679541720 :: TyFun a c -> Type) (a6989586621679541722 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type FlipSym3 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) (a6989586621679541721 :: b6989586621679541551) (a6989586621679541722 :: a6989586621679541550) = Flip a6989586621679541720 a6989586621679541721 a6989586621679541722 Source #
data ($@#@$) :: forall a6989586621679541547 b6989586621679541548. (~>) ((~>) a6989586621679541547 b6989586621679541548) ((~>) a6989586621679541547 b6989586621679541548) infixr 0 Source #
Instances
SingI (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source # | |
SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679541547 ~> b6989586621679541548) (a6989586621679541547 ~> b6989586621679541548) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$) :: TyFun (a6989586621679541547 ~> b6989586621679541548) (a6989586621679541547 ~> b6989586621679541548) -> Type) (a6989586621679541704 :: a6989586621679541547 ~> b6989586621679541548) Source # | |
data ($@#@$$) (a6989586621679541704 :: (~>) a6989586621679541547 b6989586621679541548) :: (~>) a6989586621679541547 b6989586621679541548 infixr 0 Source #
Instances
SingI d => SingI (($@#@$$) d :: TyFun a b -> Type) Source # | |
SuppressUnusedWarnings (($@#@$$) a6989586621679541704 :: TyFun a6989586621679541547 b6989586621679541548 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$$) a6989586621679541704 :: TyFun a b -> Type) (a6989586621679541705 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type ($@#@$$$) (a6989586621679541704 :: (~>) a6989586621679541547 b6989586621679541548) (a6989586621679541705 :: a6989586621679541547) = ($) a6989586621679541704 a6989586621679541705 Source #
data (&@#@$) :: forall a6989586621679752681 b6989586621679752682. (~>) a6989586621679752681 ((~>) ((~>) a6989586621679752681 b6989586621679752682) b6989586621679752682) infixl 1 Source #
Instances
SingI ((&@#@$) :: TyFun a ((a ~> b) ~> b) -> Type) Source # | |
SuppressUnusedWarnings ((&@#@$) :: TyFun a6989586621679752681 ((a6989586621679752681 ~> b6989586621679752682) ~> b6989586621679752682) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply ((&@#@$) :: TyFun a6989586621679752681 ((a6989586621679752681 ~> b6989586621679752682) ~> b6989586621679752682) -> Type) (a6989586621679752694 :: a6989586621679752681) Source # | |
Defined in Data.Singletons.Prelude.Function type Apply ((&@#@$) :: TyFun a6989586621679752681 ((a6989586621679752681 ~> b6989586621679752682) ~> b6989586621679752682) -> Type) (a6989586621679752694 :: a6989586621679752681) = a6989586621679752694 &@#@$$ b6989586621679752682 :: TyFun (a6989586621679752681 ~> b6989586621679752682) b6989586621679752682 -> Type |
data (&@#@$$) (a6989586621679752694 :: a6989586621679752681) :: forall b6989586621679752682. (~>) ((~>) a6989586621679752681 b6989586621679752682) b6989586621679752682 infixl 1 Source #
Instances
SingI d => SingI (d &@#@$$ b :: TyFun (a ~> b) b -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679752694 &@#@$$ b6989586621679752682 :: TyFun (a6989586621679752681 ~> b6989586621679752682) b6989586621679752682 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679752694 &@#@$$ b :: TyFun (a ~> b) b -> Type) (a6989586621679752695 :: a ~> b) Source # | |
type (&@#@$$$) (a6989586621679752694 :: a6989586621679752681) (a6989586621679752695 :: (~>) a6989586621679752681 b6989586621679752682) = (&) a6989586621679752694 a6989586621679752695 Source #
data OnSym0 :: forall b6989586621679752683 c6989586621679752684 a6989586621679752685. (~>) ((~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) ((~>) ((~>) a6989586621679752685 b6989586621679752683) ((~>) a6989586621679752685 ((~>) a6989586621679752685 c6989586621679752684))) infixl 0 Source #
Instances
SingI (OnSym0 :: TyFun (b ~> (b ~> c)) ((a ~> b) ~> (a ~> (a ~> c))) -> Type) Source # | |
SuppressUnusedWarnings (OnSym0 :: TyFun (b6989586621679752683 ~> (b6989586621679752683 ~> c6989586621679752684)) ((a6989586621679752685 ~> b6989586621679752683) ~> (a6989586621679752685 ~> (a6989586621679752685 ~> c6989586621679752684))) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (OnSym0 :: TyFun (b6989586621679752683 ~> (b6989586621679752683 ~> c6989586621679752684)) ((a6989586621679752685 ~> b6989586621679752683) ~> (a6989586621679752685 ~> (a6989586621679752685 ~> c6989586621679752684))) -> Type) (a6989586621679752700 :: b6989586621679752683 ~> (b6989586621679752683 ~> c6989586621679752684)) Source # | |
Defined in Data.Singletons.Prelude.Function type Apply (OnSym0 :: TyFun (b6989586621679752683 ~> (b6989586621679752683 ~> c6989586621679752684)) ((a6989586621679752685 ~> b6989586621679752683) ~> (a6989586621679752685 ~> (a6989586621679752685 ~> c6989586621679752684))) -> Type) (a6989586621679752700 :: b6989586621679752683 ~> (b6989586621679752683 ~> c6989586621679752684)) = OnSym1 a6989586621679752700 a6989586621679752685 :: TyFun (a6989586621679752685 ~> b6989586621679752683) (a6989586621679752685 ~> (a6989586621679752685 ~> c6989586621679752684)) -> Type |
data OnSym1 (a6989586621679752700 :: (~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) :: forall a6989586621679752685. (~>) ((~>) a6989586621679752685 b6989586621679752683) ((~>) a6989586621679752685 ((~>) a6989586621679752685 c6989586621679752684)) infixl 0 Source #
Instances
SingI d => SingI (OnSym1 d a :: TyFun (a ~> b) (a ~> (a ~> c)) -> Type) Source # | |
SuppressUnusedWarnings (OnSym1 a6989586621679752700 a6989586621679752685 :: TyFun (a6989586621679752685 ~> b6989586621679752683) (a6989586621679752685 ~> (a6989586621679752685 ~> c6989586621679752684)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (OnSym1 a6989586621679752700 a6989586621679752685 :: TyFun (a6989586621679752685 ~> b6989586621679752683) (a6989586621679752685 ~> (a6989586621679752685 ~> c6989586621679752684)) -> Type) (a6989586621679752701 :: a6989586621679752685 ~> b6989586621679752683) Source # | |
Defined in Data.Singletons.Prelude.Function type Apply (OnSym1 a6989586621679752700 a6989586621679752685 :: TyFun (a6989586621679752685 ~> b6989586621679752683) (a6989586621679752685 ~> (a6989586621679752685 ~> c6989586621679752684)) -> Type) (a6989586621679752701 :: a6989586621679752685 ~> b6989586621679752683) = OnSym2 a6989586621679752700 a6989586621679752701 |
data OnSym2 (a6989586621679752700 :: (~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) (a6989586621679752701 :: (~>) a6989586621679752685 b6989586621679752683) :: (~>) a6989586621679752685 ((~>) a6989586621679752685 c6989586621679752684) infixl 0 Source #
Instances
(SingI d1, SingI d2) => SingI (OnSym2 d1 d2 :: TyFun a (a ~> c) -> Type) Source # | |
SuppressUnusedWarnings (OnSym2 a6989586621679752701 a6989586621679752700 :: TyFun a6989586621679752685 (a6989586621679752685 ~> c6989586621679752684) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (OnSym2 a6989586621679752701 a6989586621679752700 :: TyFun a6989586621679752685 (a6989586621679752685 ~> c6989586621679752684) -> Type) (a6989586621679752702 :: a6989586621679752685) Source # | |
Defined in Data.Singletons.Prelude.Function |
data OnSym3 (a6989586621679752700 :: (~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) (a6989586621679752701 :: (~>) a6989586621679752685 b6989586621679752683) (a6989586621679752702 :: a6989586621679752685) :: (~>) a6989586621679752685 c6989586621679752684 infixl 0 Source #
Instances
(SingI d1, SingI d2, SingI d3) => SingI (OnSym3 d1 d2 d3 :: TyFun a c -> Type) Source # | |
SuppressUnusedWarnings (OnSym3 a6989586621679752702 a6989586621679752701 a6989586621679752700 :: TyFun a6989586621679752685 c6989586621679752684 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source # | |
type Apply (OnSym3 a6989586621679752702 a6989586621679752701 a6989586621679752700 :: TyFun a c -> Type) (a6989586621679752703 :: a) Source # | |
Defined in Data.Singletons.Prelude.Function |
type OnSym4 (a6989586621679752700 :: (~>) b6989586621679752683 ((~>) b6989586621679752683 c6989586621679752684)) (a6989586621679752701 :: (~>) a6989586621679752685 b6989586621679752683) (a6989586621679752702 :: a6989586621679752685) (a6989586621679752703 :: a6989586621679752685) = On a6989586621679752700 a6989586621679752701 a6989586621679752702 a6989586621679752703 Source #