Copyright	(C) 2014 Jan Stolarek
License	BSD-style (see LICENSE)
Maintainer	Jan Stolarek (jan.stolarek@p.lodz.pl)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Promotion.Prelude.Base

Contents

Promoted functions from GHC.Base
Defunctionalization symbols

Description

Implements promoted functions from GHC.Base module.

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 Prelude. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis

type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ...
type family (a :: [a]) ++ (a :: [a]) :: [a] where ...
type family Otherwise :: Bool where ...
type family Id (a :: a) :: a where ...
type family Const (a :: a) (a :: b) :: a where ...
type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
type family (a :: TyFun a b -> Type) $ (a :: a) :: b where ...
type family (a :: TyFun a b -> Type) $! (a :: a) :: b where ...
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ...
type family AsTypeOf (a :: a) (a :: a) :: a where ...
type family Seq (a :: a) (a :: b) :: b where ...
data FoldrSym0 (l :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type))
data FoldrSym1 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type))
data FoldrSym2 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: b6989586621679422448) (l :: TyFun [a6989586621679422447] b6989586621679422448)
type FoldrSym3 (t :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (t :: b6989586621679422448) (t :: [a6989586621679422447]) = Foldr t t t
data MapSym0 (l :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type))
data MapSym1 (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (l :: TyFun [a6989586621679422445] [b6989586621679422446])
type MapSym2 (t :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (t :: [a6989586621679422445]) = Map t t
data (++@#@$) (l :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type))
data (l :: [a6989586621679422444]) ++@#@$$ (l :: TyFun [a6989586621679422444] [a6989586621679422444])
type (++@#@$$$) (t :: [a6989586621679422444]) (t :: [a6989586621679422444]) = (++) t t
type OtherwiseSym0 = Otherwise
data IdSym0 (l :: TyFun a6989586621679422443 a6989586621679422443)
type IdSym1 (t :: a6989586621679422443) = Id t
data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type))
data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441)
type ConstSym2 (t :: a6989586621679422441) (t :: b6989586621679422442) = Const t t
data (.@#@$) (l :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type))
data (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type))
data ((l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$$ (l :: TyFun a6989586621679422440 b6989586621679422438 -> Type)) (l :: TyFun a6989586621679422440 c6989586621679422439)
type (.@#@$$$$) (t :: TyFun b6989586621679422438 c6989586621679422439 -> Type) (t :: TyFun a6989586621679422440 b6989586621679422438 -> Type) (t :: a6989586621679422440) = (:.) t t t
data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type))
data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433)
type ($@#@$$$) (t :: TyFun a6989586621679422432 b6989586621679422433 -> Type) (t :: a6989586621679422432) = ($) t t
data ($!@#@$) (l :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type))
data (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) $!@#@$$ (l :: TyFun a6989586621679422430 b6989586621679422431)
type ($!@#@$$$) (t :: TyFun a6989586621679422430 b6989586621679422431 -> Type) (t :: a6989586621679422430) = ($!) t t
data FlipSym0 (l :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type))
data FlipSym1 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type))
data FlipSym2 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: b6989586621679422436) (l :: TyFun a6989586621679422435 c6989586621679422437)
type FlipSym3 (t :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (t :: b6989586621679422436) (t :: a6989586621679422435) = Flip t t t
data UntilSym0 (l :: TyFun (TyFun a6989586621679961472 Bool -> Type) (TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> Type))
data UntilSym1 (l :: TyFun a6989586621679961472 Bool -> Type) (l :: TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type))
data UntilSym2 (l :: TyFun a6989586621679961472 Bool -> Type) (l :: TyFun a6989586621679961472 a6989586621679961472 -> Type) (l :: TyFun a6989586621679961472 a6989586621679961472)
type UntilSym3 (t :: TyFun a6989586621679961472 Bool -> Type) (t :: TyFun a6989586621679961472 a6989586621679961472 -> Type) (t :: a6989586621679961472) = Until t t t
data AsTypeOfSym0 (l :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type))
data AsTypeOfSym1 (l :: a6989586621679422434) (l :: TyFun a6989586621679422434 a6989586621679422434)
type AsTypeOfSym2 (t :: a6989586621679422434) (t :: a6989586621679422434) = AsTypeOf t t
data SeqSym0 (l :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type))
data SeqSym1 (l :: a6989586621679422428) (l :: TyFun b6989586621679422429 b6989586621679422429)
type SeqSym2 (t :: a6989586621679422428) (t :: b6989586621679422429) = Seq t t

Promoted functions from `GHC.Base`

type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #

Equations

Foldr k z a_6989586621679422712 = Apply (Let6989586621679422717GoSym3 k z a_6989586621679422712) a_6989586621679422712

type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ... Source #

Equations

Map _ '[] = '[]
Map f ((:) x xs) = Apply (Apply (:@#@$) (Apply f x)) (Apply (Apply MapSym0 f) xs)

type family (a :: [a]) ++ (a :: [a]) :: [a] where ... Source #

Equations

'[] ++ ys = ys
((:) x xs) ++ ys = Apply (Apply (:@#@$) x) (Apply (Apply (++@#@$) xs) ys)

type family Otherwise :: Bool where ... Source #

Equations

Otherwise = TrueSym0

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

Equations

Id x = x

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

Equations

Const x _ = x

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

Equations

(f :. g) a_6989586621679422615 = Apply (Apply (Apply (Apply Lambda_6989586621679422620Sym0 f) g) a_6989586621679422615) a_6989586621679422615

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

Equations

f $ x = Apply f x

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

Equations

f $! x = Apply f (Let6989586621679422563VxSym2 f x)

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

Equations

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

type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ... Source #

Equations

Until p f a_6989586621679961495 = Apply (Let6989586621679961500GoSym3 p f a_6989586621679961495) a_6989586621679961495

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

Equations

AsTypeOf a_6989586621679422652 a_6989586621679422654 = Apply (Apply ConstSym0 a_6989586621679422652) a_6989586621679422654

type family Seq (a :: a) (a :: b) :: b where ... infixr 0 Source #

Equations

Seq _ x = x

Defunctionalization symbols

data FoldrSym0 (l :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) = FoldrSym1 l

data FoldrSym1 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type)) Source #

Instances

SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) -> TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym1 l1 :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) (l2 :: b6989586621679422448) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym1 l1 :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) (l2 :: b6989586621679422448) = FoldrSym2 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: b6989586621679422448) (l :: TyFun [a6989586621679422447] b6989586621679422448) Source #

Instances

SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) -> b6989586621679422448 -> TyFun [a6989586621679422447] b6989586621679422448 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) = Foldr l1 l2 l3

type FoldrSym3 (t :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (t :: b6989586621679422448) (t :: [a6989586621679422447]) = Foldr t t t Source #

data MapSym0 (l :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type)) Source #

Instances

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym0 :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type) -> *) (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym0 :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type) -> *) (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (l :: TyFun [a6989586621679422445] [b6989586621679422446]) Source #

Instances

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679422445 b6989586621679422446 -> Type) -> TyFun [a6989586621679422445] [b6989586621679422446] -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) = Map l1 l2

type MapSym2 (t :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (t :: [a6989586621679422445]) = Map t t Source #

data (++@#@$) (l :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type)) Source #

Instances

SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((++@#@$) :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type) -> *) (l :: [a6989586621679422444]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((++@#@$) :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type) -> *) (l :: [a6989586621679422444]) = (++@#@$$) l

data (l :: [a6989586621679422444]) ++@#@$$ (l :: TyFun [a6989586621679422444] [a6989586621679422444]) Source #

Instances

SuppressUnusedWarnings ((++@#@$$) :: [a6989586621679422444] -> TyFun [a6989586621679422444] [a6989586621679422444] -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = l1 ++ l2

type (++@#@$$$) (t :: [a6989586621679422444]) (t :: [a6989586621679422444]) = (++) t t Source #

type OtherwiseSym0 = Otherwise Source #

data IdSym0 (l :: TyFun a6989586621679422443 a6989586621679422443) Source #

Instances

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

type IdSym1 (t :: a6989586621679422443) = Id t Source #

data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type)) Source #

Instances

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

data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441) Source #

Instances

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

type ConstSym2 (t :: a6989586621679422441) (t :: b6989586621679422442) = Const t t Source #

data (.@#@$) (l :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type)) Source #

Instances

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

data (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type)) Source #

Instances

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

data ((l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$$ (l :: TyFun a6989586621679422440 b6989586621679422438 -> Type)) (l :: TyFun a6989586621679422440 c6989586621679422439) Source #

Instances

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

type (.@#@$$$$) (t :: TyFun b6989586621679422438 c6989586621679422439 -> Type) (t :: TyFun a6989586621679422440 b6989586621679422438 -> Type) (t :: a6989586621679422440) = (:.) t t t Source #

data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type)) Source #

Instances

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

data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433) Source #

Instances

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

type ($@#@$$$) (t :: TyFun a6989586621679422432 b6989586621679422433 -> Type) (t :: a6989586621679422432) = ($) t t Source #

data ($!@#@$) (l :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type)) Source #

Instances

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

data (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) $!@#@$$ (l :: TyFun a6989586621679422430 b6989586621679422431) Source #

Instances

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

type ($!@#@$$$) (t :: TyFun a6989586621679422430 b6989586621679422431 -> Type) (t :: a6989586621679422430) = ($!) t t Source #

data FlipSym0 (l :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) = FlipSym1 l

data FlipSym1 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type)) Source #

Instances

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

data FlipSym2 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: b6989586621679422436) (l :: TyFun a6989586621679422435 c6989586621679422437) Source #

Instances

SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) -> b6989586621679422436 -> TyFun a6989586621679422435 c6989586621679422437 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) = Flip l1 l2 l3

type FlipSym3 (t :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (t :: b6989586621679422436) (t :: a6989586621679422435) = Flip t t t Source #

data UntilSym0 (l :: TyFun (TyFun a6989586621679961472 Bool -> Type) (TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (UntilSym0 :: TyFun (TyFun a6989586621679961472 Bool -> Type) (TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> Type) -> *) Source #
Instance details Defined in Data.Promotion.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym0 :: TyFun (TyFun a6989586621679961472 Bool -> Type) (TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> Type) -> *) (l :: TyFun a6989586621679961472 Bool -> Type) Source #
Instance details Defined in Data.Promotion.Prelude.Base type Apply (UntilSym0 :: TyFun (TyFun a6989586621679961472 Bool -> Type) (TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> Type) -> *) (l :: TyFun a6989586621679961472 Bool -> Type) = UntilSym1 l

data UntilSym1 (l :: TyFun a6989586621679961472 Bool -> Type) (l :: TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type)) Source #

Instances

SuppressUnusedWarnings (UntilSym1 :: (TyFun a6989586621679961472 Bool -> Type) -> TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> *) Source #
Instance details Defined in Data.Promotion.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> *) (l2 :: TyFun a6989586621679961472 a6989586621679961472 -> Type) Source #
Instance details Defined in Data.Promotion.Prelude.Base type Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621679961472 a6989586621679961472 -> Type) (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> *) (l2 :: TyFun a6989586621679961472 a6989586621679961472 -> Type) = UntilSym2 l1 l2

data UntilSym2 (l :: TyFun a6989586621679961472 Bool -> Type) (l :: TyFun a6989586621679961472 a6989586621679961472 -> Type) (l :: TyFun a6989586621679961472 a6989586621679961472) Source #

Instances

SuppressUnusedWarnings (UntilSym2 :: (TyFun a6989586621679961472 Bool -> Type) -> (TyFun a6989586621679961472 a6989586621679961472 -> Type) -> TyFun a6989586621679961472 a6989586621679961472 -> *) Source #
Instance details Defined in Data.Promotion.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym2 l1 l2 :: TyFun a a -> *) (l3 :: a) Source #
Instance details Defined in Data.Promotion.Prelude.Base type Apply (UntilSym2 l1 l2 :: TyFun a a -> *) (l3 :: a) = Until l1 l2 l3

type UntilSym3 (t :: TyFun a6989586621679961472 Bool -> Type) (t :: TyFun a6989586621679961472 a6989586621679961472 -> Type) (t :: a6989586621679961472) = Until t t t Source #

data AsTypeOfSym0 (l :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type)) Source #

Instances

SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (AsTypeOfSym0 :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type) -> *) (l :: a6989586621679422434) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym0 :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type) -> *) (l :: a6989586621679422434) = AsTypeOfSym1 l

data AsTypeOfSym1 (l :: a6989586621679422434) (l :: TyFun a6989586621679422434 a6989586621679422434) Source #

Instances

SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679422434 -> TyFun a6989586621679422434 a6989586621679422434 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) = AsTypeOf l1 l2

type AsTypeOfSym2 (t :: a6989586621679422434) (t :: a6989586621679422434) = AsTypeOf t t Source #

data SeqSym0 (l :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type)) Source #

Instances

SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> *) (l :: a6989586621679422428) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> ) (l :: a6989586621679422428) = (SeqSym1 l :: TyFun b6989586621679422429 b6989586621679422429 -> )

data SeqSym1 (l :: a6989586621679422428) (l :: TyFun b6989586621679422429 b6989586621679422429) Source #

Instances

SuppressUnusedWarnings (SeqSym1 :: a6989586621679422428 -> TyFun b6989586621679422429 b6989586621679422429 -> *) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) = Seq l1 l2

type SeqSym2 (t :: a6989586621679422428) (t :: b6989586621679422429) = Seq t t Source #

Promoted functions from GHC.Base

Defunctionalization symbols

Promoted functions from `GHC.Base`