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 a6989586621679511796. (~>) a6989586621679511796 a6989586621679511796
type IdSym1 (a6989586621679511991 :: a6989586621679511796) = Id a6989586621679511991
data ConstSym0 :: forall a6989586621679511794 b6989586621679511795. (~>) a6989586621679511794 ((~>) b6989586621679511795 a6989586621679511794)
data ConstSym1 (a6989586621679511976 :: a6989586621679511794) :: forall b6989586621679511795. (~>) b6989586621679511795 a6989586621679511794
type ConstSym2 (a6989586621679511976 :: a6989586621679511794) (a6989586621679511977 :: b6989586621679511795) = Const a6989586621679511976 a6989586621679511977
data (.@#@$) :: forall a6989586621679511793 b6989586621679511791 c6989586621679511792. (~>) ((~>) b6989586621679511791 c6989586621679511792) ((~>) ((~>) a6989586621679511793 b6989586621679511791) ((~>) a6989586621679511793 c6989586621679511792))
data (.@#@$$) (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) :: forall a6989586621679511793. (~>) ((~>) a6989586621679511793 b6989586621679511791) ((~>) a6989586621679511793 c6989586621679511792)
data (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) .@#@$$$ (a6989586621679511958 :: (~>) a6989586621679511793 b6989586621679511791) :: (~>) a6989586621679511793 c6989586621679511792
type (.@#@$$$$) (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) (a6989586621679511958 :: (~>) a6989586621679511793 b6989586621679511791) (a6989586621679511959 :: a6989586621679511793) = (:.) a6989586621679511957 a6989586621679511958 a6989586621679511959
data FlipSym0 :: forall a6989586621679511788 b6989586621679511789 c6989586621679511790. (~>) ((~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) ((~>) b6989586621679511789 ((~>) a6989586621679511788 c6989586621679511790))
data FlipSym1 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) :: (~>) b6989586621679511789 ((~>) a6989586621679511788 c6989586621679511790)
data FlipSym2 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) (a6989586621679511949 :: b6989586621679511789) :: (~>) a6989586621679511788 c6989586621679511790
type FlipSym3 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) (a6989586621679511949 :: b6989586621679511789) (a6989586621679511950 :: a6989586621679511788) = Flip a6989586621679511948 a6989586621679511949 a6989586621679511950
data ($@#@$) :: forall a6989586621679511785 b6989586621679511786. (~>) ((~>) a6989586621679511785 b6989586621679511786) ((~>) a6989586621679511785 b6989586621679511786)
data ($@#@$$) (a6989586621679511942 :: (~>) a6989586621679511785 b6989586621679511786) :: (~>) a6989586621679511785 b6989586621679511786
type ($@#@$$$) (a6989586621679511942 :: (~>) a6989586621679511785 b6989586621679511786) (a6989586621679511943 :: a6989586621679511785) = ($) a6989586621679511942 a6989586621679511943
data (&@#@$) :: forall a6989586621679720322 b6989586621679720323. (~>) a6989586621679720322 ((~>) ((~>) a6989586621679720322 b6989586621679720323) b6989586621679720323)
data (&@#@$$) (a6989586621679720335 :: a6989586621679720322) :: forall b6989586621679720323. (~>) ((~>) a6989586621679720322 b6989586621679720323) b6989586621679720323
type (&@#@$$$) (a6989586621679720335 :: a6989586621679720322) (a6989586621679720336 :: (~>) a6989586621679720322 b6989586621679720323) = (&) a6989586621679720335 a6989586621679720336
data OnSym0 :: forall a6989586621679720326 b6989586621679720324 c6989586621679720325. (~>) ((~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) ((~>) ((~>) a6989586621679720326 b6989586621679720324) ((~>) a6989586621679720326 ((~>) a6989586621679720326 c6989586621679720325)))
data OnSym1 (a6989586621679720341 :: (~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) :: forall a6989586621679720326. (~>) ((~>) a6989586621679720326 b6989586621679720324) ((~>) a6989586621679720326 ((~>) a6989586621679720326 c6989586621679720325))
data OnSym2 (a6989586621679720341 :: (~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) (a6989586621679720342 :: (~>) a6989586621679720326 b6989586621679720324) :: (~>) a6989586621679720326 ((~>) a6989586621679720326 c6989586621679720325)
data OnSym3 (a6989586621679720341 :: (~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) (a6989586621679720342 :: (~>) a6989586621679720326 b6989586621679720324) (a6989586621679720343 :: a6989586621679720326) :: (~>) a6989586621679720326 c6989586621679720325
type OnSym4 (a6989586621679720341 :: (~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) (a6989586621679720342 :: (~>) a6989586621679720326 b6989586621679720324) (a6989586621679720343 :: a6989586621679720326) (a6989586621679720344 :: a6989586621679720326) = On a6989586621679720341 a6989586621679720342 a6989586621679720343 a6989586621679720344

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_6989586621679511963 = Apply (Apply (Apply (Apply Lambda_6989586621679511968Sym0 f) g) a_6989586621679511963) a_6989586621679511963

(%.) :: 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_6989586621679720349 a_6989586621679720351 = Apply (Apply (Apply (Apply (Apply (Apply Lambda_6989586621679720357Sym0 ty) f) a_6989586621679720349) a_6989586621679720351) a_6989586621679720349) a_6989586621679720351

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 a6989586621679511796. (~>) a6989586621679511796 a6989586621679511796 Source #

Instances

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

type IdSym1 (a6989586621679511991 :: a6989586621679511796) = Id a6989586621679511991 Source #

data ConstSym0 :: forall a6989586621679511794 b6989586621679511795. (~>) a6989586621679511794 ((~>) b6989586621679511795 a6989586621679511794) Source #

Instances

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

data ConstSym1 (a6989586621679511976 :: a6989586621679511794) :: forall b6989586621679511795. (~>) b6989586621679511795 a6989586621679511794 Source #

Instances

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 a6989586621679511976 b6989586621679511795 :: TyFun b6989586621679511795 a6989586621679511794 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (ConstSym1 a6989586621679511976 b :: TyFun b a -> Type) (a6989586621679511977 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym1 a6989586621679511976 b :: TyFun b a -> Type) (a6989586621679511977 :: b) = Const a6989586621679511976 a6989586621679511977

type ConstSym2 (a6989586621679511976 :: a6989586621679511794) (a6989586621679511977 :: b6989586621679511795) = Const a6989586621679511976 a6989586621679511977 Source #

data (.@#@$) :: forall a6989586621679511793 b6989586621679511791 c6989586621679511792. (~>) ((~>) b6989586621679511791 c6989586621679511792) ((~>) ((~>) a6989586621679511793 b6989586621679511791) ((~>) a6989586621679511793 c6989586621679511792)) infixr 9 Source #

Instances

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

data (.@#@$$) (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) :: forall a6989586621679511793. (~>) ((~>) a6989586621679511793 b6989586621679511791) ((~>) a6989586621679511793 c6989586621679511792) infixr 9 Source #

Instances

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 (a6989586621679511957 .@#@$$ a6989586621679511793 :: TyFun (a6989586621679511793 ~> b6989586621679511791) (a6989586621679511793 ~> c6989586621679511792) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679511957 .@#@$$ a6989586621679511793 :: TyFun (a6989586621679511793 ~> b6989586621679511791) (a6989586621679511793 ~> c6989586621679511792) -> Type) (a6989586621679511958 :: a6989586621679511793 ~> b6989586621679511791) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679511957 .@#@$$ a6989586621679511793 :: TyFun (a6989586621679511793 ~> b6989586621679511791) (a6989586621679511793 ~> c6989586621679511792) -> Type) (a6989586621679511958 :: a6989586621679511793 ~> b6989586621679511791) = a6989586621679511957 .@#@$$$ a6989586621679511958

data (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) .@#@$$$ (a6989586621679511958 :: (~>) a6989586621679511793 b6989586621679511791) :: (~>) a6989586621679511793 c6989586621679511792 infixr 9 Source #

Instances

(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 (a6989586621679511958 .@#@$$$ a6989586621679511957 :: TyFun a6989586621679511793 c6989586621679511792 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679511958 .@#@$$$ a6989586621679511957 :: TyFun a c -> Type) (a6989586621679511959 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679511958 .@#@$$$ a6989586621679511957 :: TyFun a c -> Type) (a6989586621679511959 :: a) = (a6989586621679511958 :. a6989586621679511957) a6989586621679511959

type (.@#@$$$$) (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) (a6989586621679511958 :: (~>) a6989586621679511793 b6989586621679511791) (a6989586621679511959 :: a6989586621679511793) = (:.) a6989586621679511957 a6989586621679511958 a6989586621679511959 Source #

data FlipSym0 :: forall a6989586621679511788 b6989586621679511789 c6989586621679511790. (~>) ((~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) ((~>) b6989586621679511789 ((~>) a6989586621679511788 c6989586621679511790)) Source #

Instances

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 (a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) (b6989586621679511789 ~> (a6989586621679511788 ~> c6989586621679511790)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym0 :: TyFun (a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) (b6989586621679511789 ~> (a6989586621679511788 ~> c6989586621679511790)) -> Type) (a6989586621679511948 :: a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) (b6989586621679511789 ~> (a6989586621679511788 ~> c6989586621679511790)) -> Type) (a6989586621679511948 :: a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) = FlipSym1 a6989586621679511948

data FlipSym1 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) :: (~>) b6989586621679511789 ((~>) a6989586621679511788 c6989586621679511790) Source #

Instances

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 a6989586621679511948 :: TyFun b6989586621679511789 (a6989586621679511788 ~> c6989586621679511790) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym1 a6989586621679511948 :: TyFun b6989586621679511789 (a6989586621679511788 ~> c6989586621679511790) -> Type) (a6989586621679511949 :: b6989586621679511789) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym1 a6989586621679511948 :: TyFun b6989586621679511789 (a6989586621679511788 ~> c6989586621679511790) -> Type) (a6989586621679511949 :: b6989586621679511789) = FlipSym2 a6989586621679511948 a6989586621679511949

data FlipSym2 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) (a6989586621679511949 :: b6989586621679511789) :: (~>) a6989586621679511788 c6989586621679511790 Source #

Instances

(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 a6989586621679511949 a6989586621679511948 :: TyFun a6989586621679511788 c6989586621679511790 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym2 a6989586621679511949 a6989586621679511948 :: TyFun a c -> Type) (a6989586621679511950 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym2 a6989586621679511949 a6989586621679511948 :: TyFun a c -> Type) (a6989586621679511950 :: a) = Flip a6989586621679511949 a6989586621679511948 a6989586621679511950

type FlipSym3 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) (a6989586621679511949 :: b6989586621679511789) (a6989586621679511950 :: a6989586621679511788) = Flip a6989586621679511948 a6989586621679511949 a6989586621679511950 Source #

data ($@#@$) :: forall a6989586621679511785 b6989586621679511786. (~>) ((~>) a6989586621679511785 b6989586621679511786) ((~>) a6989586621679511785 b6989586621679511786) infixr 0 Source #

Instances

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

data ($@#@$$) (a6989586621679511942 :: (~>) a6989586621679511785 b6989586621679511786) :: (~>) a6989586621679511785 b6989586621679511786 infixr 0 Source #

Instances

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

type ($@#@$$$) (a6989586621679511942 :: (~>) a6989586621679511785 b6989586621679511786) (a6989586621679511943 :: a6989586621679511785) = ($) a6989586621679511942 a6989586621679511943 Source #

data (&@#@$) :: forall a6989586621679720322 b6989586621679720323. (~>) a6989586621679720322 ((~>) ((~>) a6989586621679720322 b6989586621679720323) b6989586621679720323) infixl 1 Source #

Instances

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

data (&@#@$$) (a6989586621679720335 :: a6989586621679720322) :: forall b6989586621679720323. (~>) ((~>) a6989586621679720322 b6989586621679720323) b6989586621679720323 infixl 1 Source #

Instances

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 (a6989586621679720335 &@#@$$ b6989586621679720323 :: TyFun (a6989586621679720322 ~> b6989586621679720323) b6989586621679720323 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679720335 &@#@$$ b :: TyFun (a ~> b) b -> Type) (a6989586621679720336 :: a ~> b) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (a6989586621679720335 &@#@$$ b :: TyFun (a ~> b) b -> Type) (a6989586621679720336 :: a ~> b) = a6989586621679720335 & a6989586621679720336

type (&@#@$$$) (a6989586621679720335 :: a6989586621679720322) (a6989586621679720336 :: (~>) a6989586621679720322 b6989586621679720323) = (&) a6989586621679720335 a6989586621679720336 Source #

data OnSym0 :: forall a6989586621679720326 b6989586621679720324 c6989586621679720325. (~>) ((~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) ((~>) ((~>) a6989586621679720326 b6989586621679720324) ((~>) a6989586621679720326 ((~>) a6989586621679720326 c6989586621679720325))) infixl 0 Source #

Instances

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 (b6989586621679720324 ~> (b6989586621679720324 ~> c6989586621679720325)) ((a6989586621679720326 ~> b6989586621679720324) ~> (a6989586621679720326 ~> (a6989586621679720326 ~> c6989586621679720325))) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym0 :: TyFun (b6989586621679720324 ~> (b6989586621679720324 ~> c6989586621679720325)) ((a6989586621679720326 ~> b6989586621679720324) ~> (a6989586621679720326 ~> (a6989586621679720326 ~> c6989586621679720325))) -> Type) (a6989586621679720341 :: b6989586621679720324 ~> (b6989586621679720324 ~> c6989586621679720325)) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym0 :: TyFun (b6989586621679720324 ~> (b6989586621679720324 ~> c6989586621679720325)) ((a6989586621679720326 ~> b6989586621679720324) ~> (a6989586621679720326 ~> (a6989586621679720326 ~> c6989586621679720325))) -> Type) (a6989586621679720341 :: b6989586621679720324 ~> (b6989586621679720324 ~> c6989586621679720325)) = (OnSym1 a6989586621679720341 a6989586621679720326 :: TyFun (a6989586621679720326 ~> b6989586621679720324) (a6989586621679720326 ~> (a6989586621679720326 ~> c6989586621679720325)) -> Type)

data OnSym1 (a6989586621679720341 :: (~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) :: forall a6989586621679720326. (~>) ((~>) a6989586621679720326 b6989586621679720324) ((~>) a6989586621679720326 ((~>) a6989586621679720326 c6989586621679720325)) infixl 0 Source #

Instances

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 a6989586621679720341 a6989586621679720326 :: TyFun (a6989586621679720326 ~> b6989586621679720324) (a6989586621679720326 ~> (a6989586621679720326 ~> c6989586621679720325)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym1 a6989586621679720341 a6989586621679720326 :: TyFun (a6989586621679720326 ~> b6989586621679720324) (a6989586621679720326 ~> (a6989586621679720326 ~> c6989586621679720325)) -> Type) (a6989586621679720342 :: a6989586621679720326 ~> b6989586621679720324) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym1 a6989586621679720341 a6989586621679720326 :: TyFun (a6989586621679720326 ~> b6989586621679720324) (a6989586621679720326 ~> (a6989586621679720326 ~> c6989586621679720325)) -> Type) (a6989586621679720342 :: a6989586621679720326 ~> b6989586621679720324) = OnSym2 a6989586621679720341 a6989586621679720342

data OnSym2 (a6989586621679720341 :: (~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) (a6989586621679720342 :: (~>) a6989586621679720326 b6989586621679720324) :: (~>) a6989586621679720326 ((~>) a6989586621679720326 c6989586621679720325) infixl 0 Source #

Instances

(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 a6989586621679720342 a6989586621679720341 :: TyFun a6989586621679720326 (a6989586621679720326 ~> c6989586621679720325) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym2 a6989586621679720342 a6989586621679720341 :: TyFun a6989586621679720326 (a6989586621679720326 ~> c6989586621679720325) -> Type) (a6989586621679720343 :: a6989586621679720326) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym2 a6989586621679720342 a6989586621679720341 :: TyFun a6989586621679720326 (a6989586621679720326 ~> c6989586621679720325) -> Type) (a6989586621679720343 :: a6989586621679720326) = OnSym3 a6989586621679720342 a6989586621679720341 a6989586621679720343

data OnSym3 (a6989586621679720341 :: (~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) (a6989586621679720342 :: (~>) a6989586621679720326 b6989586621679720324) (a6989586621679720343 :: a6989586621679720326) :: (~>) a6989586621679720326 c6989586621679720325 infixl 0 Source #

Instances

(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 a6989586621679720343 a6989586621679720342 a6989586621679720341 :: TyFun a6989586621679720326 c6989586621679720325 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Function Methods suppressUnusedWarnings :: () Source #
type Apply (OnSym3 a6989586621679720343 a6989586621679720342 a6989586621679720341 :: TyFun a c -> Type) (a6989586621679720344 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Function type Apply (OnSym3 a6989586621679720343 a6989586621679720342 a6989586621679720341 :: TyFun a c -> Type) (a6989586621679720344 :: a) = On a6989586621679720343 a6989586621679720342 a6989586621679720341 a6989586621679720344

type OnSym4 (a6989586621679720341 :: (~>) b6989586621679720324 ((~>) b6989586621679720324 c6989586621679720325)) (a6989586621679720342 :: (~>) a6989586621679720326 b6989586621679720324) (a6989586621679720343 :: a6989586621679720326) (a6989586621679720344 :: a6989586621679720326) = On a6989586621679720341 a6989586621679720342 a6989586621679720343 a6989586621679720344 Source #