singletons-2.4.1: A framework for generating singleton types

Copyright(C) 2014 Jan Stolarek
LicenseBSD-style (see LICENSE)
MaintainerJan Stolarek (jan.stolarek@p.lodz.pl)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Promotion.Prelude.Base

Contents

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 a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> Type))
  • data FoldrSym1 (l :: TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (l :: TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type))
  • data FoldrSym2 (l :: TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (l :: b6989586621679448473) (l :: TyFun [a6989586621679448472] b6989586621679448473)
  • type FoldrSym3 (t :: TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (t :: b6989586621679448473) (t :: [a6989586621679448472]) = Foldr t t t
  • data MapSym0 (l :: TyFun (TyFun a6989586621679448470 b6989586621679448471 -> Type) (TyFun [a6989586621679448470] [b6989586621679448471] -> Type))
  • data MapSym1 (l :: TyFun a6989586621679448470 b6989586621679448471 -> Type) (l :: TyFun [a6989586621679448470] [b6989586621679448471])
  • type MapSym2 (t :: TyFun a6989586621679448470 b6989586621679448471 -> Type) (t :: [a6989586621679448470]) = Map t t
  • data (++@#@$) (l :: TyFun [a6989586621679448469] (TyFun [a6989586621679448469] [a6989586621679448469] -> Type))
  • data (l :: [a6989586621679448469]) ++@#@$$ (l :: TyFun [a6989586621679448469] [a6989586621679448469])
  • type (++@#@$$$) (t :: [a6989586621679448469]) (t :: [a6989586621679448469]) = (++) t t
  • type OtherwiseSym0 = Otherwise
  • data IdSym0 (l :: TyFun a6989586621679448468 a6989586621679448468)
  • type IdSym1 (t :: a6989586621679448468) = Id t
  • data ConstSym0 (l :: TyFun a6989586621679448466 (TyFun b6989586621679448467 a6989586621679448466 -> Type))
  • data ConstSym1 (l :: a6989586621679448466) (l :: TyFun b6989586621679448467 a6989586621679448466)
  • type ConstSym2 (t :: a6989586621679448466) (t :: b6989586621679448467) = Const t t
  • data (.@#@$) (l :: TyFun (TyFun b6989586621679448463 c6989586621679448464 -> Type) (TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> Type))
  • data (l :: TyFun b6989586621679448463 c6989586621679448464 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type))
  • data ((l :: TyFun b6989586621679448463 c6989586621679448464 -> Type) .@#@$$$ (l :: TyFun a6989586621679448465 b6989586621679448463 -> Type)) (l :: TyFun a6989586621679448465 c6989586621679448464)
  • type (.@#@$$$$) (t :: TyFun b6989586621679448463 c6989586621679448464 -> Type) (t :: TyFun a6989586621679448465 b6989586621679448463 -> Type) (t :: a6989586621679448465) = (:.) t t t
  • data ($@#@$) (l :: TyFun (TyFun a6989586621679448457 b6989586621679448458 -> Type) (TyFun a6989586621679448457 b6989586621679448458 -> Type))
  • data (l :: TyFun a6989586621679448457 b6989586621679448458 -> Type) $@#@$$ (l :: TyFun a6989586621679448457 b6989586621679448458)
  • type ($@#@$$$) (t :: TyFun a6989586621679448457 b6989586621679448458 -> Type) (t :: a6989586621679448457) = ($) t t
  • data ($!@#@$) (l :: TyFun (TyFun a6989586621679448455 b6989586621679448456 -> Type) (TyFun a6989586621679448455 b6989586621679448456 -> Type))
  • data (l :: TyFun a6989586621679448455 b6989586621679448456 -> Type) $!@#@$$ (l :: TyFun a6989586621679448455 b6989586621679448456)
  • type ($!@#@$$$) (t :: TyFun a6989586621679448455 b6989586621679448456 -> Type) (t :: a6989586621679448455) = ($!) t t
  • data FlipSym0 (l :: TyFun (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> Type))
  • data FlipSym1 (l :: TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (l :: TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type))
  • data FlipSym2 (l :: TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (l :: b6989586621679448461) (l :: TyFun a6989586621679448460 c6989586621679448462)
  • type FlipSym3 (t :: TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (t :: b6989586621679448461) (t :: a6989586621679448460) = Flip t t t
  • data UntilSym0 (l :: TyFun (TyFun a6989586621680044097 Bool -> Type) (TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> Type))
  • data UntilSym1 (l :: TyFun a6989586621680044097 Bool -> Type) (l :: TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type))
  • data UntilSym2 (l :: TyFun a6989586621680044097 Bool -> Type) (l :: TyFun a6989586621680044097 a6989586621680044097 -> Type) (l :: TyFun a6989586621680044097 a6989586621680044097)
  • type UntilSym3 (t :: TyFun a6989586621680044097 Bool -> Type) (t :: TyFun a6989586621680044097 a6989586621680044097 -> Type) (t :: a6989586621680044097) = Until t t t
  • data AsTypeOfSym0 (l :: TyFun a6989586621679448459 (TyFun a6989586621679448459 a6989586621679448459 -> Type))
  • data AsTypeOfSym1 (l :: a6989586621679448459) (l :: TyFun a6989586621679448459 a6989586621679448459)
  • type AsTypeOfSym2 (t :: a6989586621679448459) (t :: a6989586621679448459) = AsTypeOf t t
  • data SeqSym0 (l :: TyFun a6989586621679448453 (TyFun b6989586621679448454 b6989586621679448454 -> Type))
  • data SeqSym1 (l :: a6989586621679448453) (l :: TyFun b6989586621679448454 b6989586621679448454)
  • type SeqSym2 (t :: a6989586621679448453) (t :: b6989586621679448454) = 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_6989586621679448737 = Apply (Let6989586621679448742GoSym3 k z a_6989586621679448737) a_6989586621679448737 

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_6989586621679448640 = Apply (Apply (Apply (Apply Lambda_6989586621679448645Sym0 f) g) a_6989586621679448640) a_6989586621679448640 

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 (Let6989586621679448588VxSym2 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_6989586621680044120 = Apply (Let6989586621680044125GoSym3 p f a_6989586621680044120) a_6989586621680044120 

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

Equations

AsTypeOf a_6989586621679448677 a_6989586621679448679 = Apply (Apply ConstSym0 a_6989586621679448677) a_6989586621679448679 

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

Equations

Seq _ x = x 

Defunctionalization symbols

data FoldrSym0 (l :: TyFun (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> Type) -> *) (l :: TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> Type) -> *) (l :: TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) = FoldrSym1 l

data FoldrSym1 (l :: TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (l :: TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type)) Source #

Instances
SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) -> TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 l1 :: TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> *) (l2 :: b6989586621679448473) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 l1 :: TyFun b6989586621679448473 (TyFun [a6989586621679448472] b6989586621679448473 -> Type) -> *) (l2 :: b6989586621679448473) = FoldrSym2 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (l :: b6989586621679448473) (l :: TyFun [a6989586621679448472] b6989586621679448473) Source #

Instances
SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) -> b6989586621679448473 -> TyFun [a6989586621679448472] b6989586621679448473 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 a6989586621679448472 (TyFun b6989586621679448473 b6989586621679448473 -> Type) -> Type) (t :: b6989586621679448473) (t :: [a6989586621679448472]) = Foldr t t t Source #

data MapSym0 (l :: TyFun (TyFun a6989586621679448470 b6989586621679448471 -> Type) (TyFun [a6989586621679448470] [b6989586621679448471] -> Type)) Source #

Instances
SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679448470 b6989586621679448471 -> Type) (TyFun [a6989586621679448470] [b6989586621679448471] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (TyFun a6989586621679448470 b6989586621679448471 -> Type) (TyFun [a6989586621679448470] [b6989586621679448471] -> Type) -> *) (l :: TyFun a6989586621679448470 b6989586621679448471 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (TyFun a6989586621679448470 b6989586621679448471 -> Type) (TyFun [a6989586621679448470] [b6989586621679448471] -> Type) -> *) (l :: TyFun a6989586621679448470 b6989586621679448471 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679448470 b6989586621679448471 -> Type) (l :: TyFun [a6989586621679448470] [b6989586621679448471]) Source #

Instances
SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679448470 b6989586621679448471 -> Type) -> TyFun [a6989586621679448470] [b6989586621679448471] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 a6989586621679448470 b6989586621679448471 -> Type) (t :: [a6989586621679448470]) = Map t t Source #

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

Instances
SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679448469] (TyFun [a6989586621679448469] [a6989586621679448469] -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$) :: TyFun [a6989586621679448469] (TyFun [a6989586621679448469] [a6989586621679448469] -> Type) -> *) (l :: [a6989586621679448469]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$) :: TyFun [a6989586621679448469] (TyFun [a6989586621679448469] [a6989586621679448469] -> Type) -> *) (l :: [a6989586621679448469]) = (++@#@$$) l

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

Instances
SuppressUnusedWarnings ((++@#@$$) :: [a6989586621679448469] -> TyFun [a6989586621679448469] [a6989586621679448469] -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 :: [a6989586621679448469]) (t :: [a6989586621679448469]) = (++) t t Source #

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

Instances
SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679448468 a6989586621679448468 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 :: a6989586621679448468) = Id t Source #

data ConstSym0 (l :: TyFun a6989586621679448466 (TyFun b6989586621679448467 a6989586621679448466 -> Type)) Source #

Instances
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679448466 (TyFun b6989586621679448467 a6989586621679448466 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679448466 (TyFun b6989586621679448467 a6989586621679448466 -> Type) -> *) (l :: a6989586621679448466) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679448466 (TyFun b6989586621679448467 a6989586621679448466 -> Type) -> *) (l :: a6989586621679448466) = (ConstSym1 l :: TyFun b6989586621679448467 a6989586621679448466 -> *)

data ConstSym1 (l :: a6989586621679448466) (l :: TyFun b6989586621679448467 a6989586621679448466) Source #

Instances
SuppressUnusedWarnings (ConstSym1 :: a6989586621679448466 -> TyFun b6989586621679448467 a6989586621679448466 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 :: a6989586621679448466) (t :: b6989586621679448467) = Const t t Source #

data (.@#@$) (l :: TyFun (TyFun b6989586621679448463 c6989586621679448464 -> Type) (TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679448463 c6989586621679448464 -> Type) (TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (TyFun b6989586621679448463 c6989586621679448464 -> Type) (TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> Type) -> *) (l :: TyFun b6989586621679448463 c6989586621679448464 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (TyFun b6989586621679448463 c6989586621679448464 -> Type) (TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> Type) -> *) (l :: TyFun b6989586621679448463 c6989586621679448464 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> *)

data (l :: TyFun b6989586621679448463 c6989586621679448464 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type)) Source #

Instances
SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679448463 c6989586621679448464 -> Type) -> TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> *) (l2 :: TyFun a6989586621679448465 b6989586621679448463 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679448465 b6989586621679448463 -> Type) (TyFun a6989586621679448465 c6989586621679448464 -> Type) -> *) (l2 :: TyFun a6989586621679448465 b6989586621679448463 -> Type) = l1 .@#@$$$ l2

data ((l :: TyFun b6989586621679448463 c6989586621679448464 -> Type) .@#@$$$ (l :: TyFun a6989586621679448465 b6989586621679448463 -> Type)) (l :: TyFun a6989586621679448465 c6989586621679448464) Source #

Instances
SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679448463 c6989586621679448464 -> Type) -> (TyFun a6989586621679448465 b6989586621679448463 -> Type) -> TyFun a6989586621679448465 c6989586621679448464 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 b6989586621679448463 c6989586621679448464 -> Type) (t :: TyFun a6989586621679448465 b6989586621679448463 -> Type) (t :: a6989586621679448465) = (:.) t t t Source #

data ($@#@$) (l :: TyFun (TyFun a6989586621679448457 b6989586621679448458 -> Type) (TyFun a6989586621679448457 b6989586621679448458 -> Type)) Source #

Instances
SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679448457 b6989586621679448458 -> Type) (TyFun a6989586621679448457 b6989586621679448458 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (TyFun a6989586621679448457 b6989586621679448458 -> Type) (TyFun a6989586621679448457 b6989586621679448458 -> Type) -> *) (l :: TyFun a6989586621679448457 b6989586621679448458 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (TyFun a6989586621679448457 b6989586621679448458 -> Type) (TyFun a6989586621679448457 b6989586621679448458 -> Type) -> *) (l :: TyFun a6989586621679448457 b6989586621679448458 -> Type) = ($@#@$$) l

data (l :: TyFun a6989586621679448457 b6989586621679448458 -> Type) $@#@$$ (l :: TyFun a6989586621679448457 b6989586621679448458) Source #

Instances
SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679448457 b6989586621679448458 -> Type) -> TyFun a6989586621679448457 b6989586621679448458 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 a6989586621679448457 b6989586621679448458 -> Type) (t :: a6989586621679448457) = ($) t t Source #

data ($!@#@$) (l :: TyFun (TyFun a6989586621679448455 b6989586621679448456 -> Type) (TyFun a6989586621679448455 b6989586621679448456 -> Type)) Source #

Instances
SuppressUnusedWarnings (($!@#@$) :: TyFun (TyFun a6989586621679448455 b6989586621679448456 -> Type) (TyFun a6989586621679448455 b6989586621679448456 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (TyFun a6989586621679448455 b6989586621679448456 -> Type) (TyFun a6989586621679448455 b6989586621679448456 -> Type) -> *) (l :: TyFun a6989586621679448455 b6989586621679448456 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (TyFun a6989586621679448455 b6989586621679448456 -> Type) (TyFun a6989586621679448455 b6989586621679448456 -> Type) -> *) (l :: TyFun a6989586621679448455 b6989586621679448456 -> Type) = ($!@#@$$) l

data (l :: TyFun a6989586621679448455 b6989586621679448456 -> Type) $!@#@$$ (l :: TyFun a6989586621679448455 b6989586621679448456) Source #

Instances
SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679448455 b6989586621679448456 -> Type) -> TyFun a6989586621679448455 b6989586621679448456 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 a6989586621679448455 b6989586621679448456 -> Type) (t :: a6989586621679448455) = ($!) t t Source #

data FlipSym0 (l :: TyFun (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> Type)) Source #

Instances
SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> Type) -> *) (l :: TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> Type) -> *) (l :: TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) = FlipSym1 l

data FlipSym1 (l :: TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (l :: TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type)) Source #

Instances
SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) -> TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 l1 :: TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> *) (l2 :: b6989586621679448461) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 l1 :: TyFun b6989586621679448461 (TyFun a6989586621679448460 c6989586621679448462 -> Type) -> *) (l2 :: b6989586621679448461) = FlipSym2 l1 l2

data FlipSym2 (l :: TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (l :: b6989586621679448461) (l :: TyFun a6989586621679448460 c6989586621679448462) Source #

Instances
SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) -> b6989586621679448461 -> TyFun a6989586621679448460 c6989586621679448462 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 a6989586621679448460 (TyFun b6989586621679448461 c6989586621679448462 -> Type) -> Type) (t :: b6989586621679448461) (t :: a6989586621679448460) = Flip t t t Source #

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

Instances
SuppressUnusedWarnings (UntilSym0 :: TyFun (TyFun a6989586621680044097 Bool -> Type) (TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym0 :: TyFun (TyFun a6989586621680044097 Bool -> Type) (TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> Type) -> *) (l :: TyFun a6989586621680044097 Bool -> Type) Source # 
Instance details

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym0 :: TyFun (TyFun a6989586621680044097 Bool -> Type) (TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> Type) -> *) (l :: TyFun a6989586621680044097 Bool -> Type) = UntilSym1 l

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

Instances
SuppressUnusedWarnings (UntilSym1 :: (TyFun a6989586621680044097 Bool -> Type) -> TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> *) (l2 :: TyFun a6989586621680044097 a6989586621680044097 -> Type) Source # 
Instance details

Defined in Data.Promotion.Prelude.Base

type Apply (UntilSym1 l1 :: TyFun (TyFun a6989586621680044097 a6989586621680044097 -> Type) (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> *) (l2 :: TyFun a6989586621680044097 a6989586621680044097 -> Type) = UntilSym2 l1 l2

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

Instances
SuppressUnusedWarnings (UntilSym2 :: (TyFun a6989586621680044097 Bool -> Type) -> (TyFun a6989586621680044097 a6989586621680044097 -> Type) -> TyFun a6989586621680044097 a6989586621680044097 -> *) Source # 
Instance details

Defined in Data.Promotion.Prelude.Base

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 a6989586621680044097 Bool -> Type) (t :: TyFun a6989586621680044097 a6989586621680044097 -> Type) (t :: a6989586621680044097) = Until t t t Source #

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

Instances
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679448459 (TyFun a6989586621679448459 a6989586621679448459 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a6989586621679448459 (TyFun a6989586621679448459 a6989586621679448459 -> Type) -> *) (l :: a6989586621679448459) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a6989586621679448459 (TyFun a6989586621679448459 a6989586621679448459 -> Type) -> *) (l :: a6989586621679448459) = AsTypeOfSym1 l

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

Instances
SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679448459 -> TyFun a6989586621679448459 a6989586621679448459 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 :: a6989586621679448459) (t :: a6989586621679448459) = AsTypeOf t t Source #

data SeqSym0 (l :: TyFun a6989586621679448453 (TyFun b6989586621679448454 b6989586621679448454 -> Type)) Source #

Instances
SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679448453 (TyFun b6989586621679448454 b6989586621679448454 -> Type) -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679448453 (TyFun b6989586621679448454 b6989586621679448454 -> Type) -> *) (l :: a6989586621679448453) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679448453 (TyFun b6989586621679448454 b6989586621679448454 -> Type) -> *) (l :: a6989586621679448453) = (SeqSym1 l :: TyFun b6989586621679448454 b6989586621679448454 -> *)

data SeqSym1 (l :: a6989586621679448453) (l :: TyFun b6989586621679448454 b6989586621679448454) Source #

Instances
SuppressUnusedWarnings (SeqSym1 :: a6989586621679448453 -> TyFun b6989586621679448454 b6989586621679448454 -> *) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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 :: a6989586621679448453) (t :: b6989586621679448454) = Seq t t Source #