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.Singletons.Prelude.Base

Contents

Basic functions
Defunctionalization symbols

Description

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

Synopsis

type family Foldr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: b where ...
sFoldr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b)
type family Map (a :: (~>) a b) (a :: [a]) :: [b] where ...
sMap :: forall a b (t :: (~>) a b) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b])
type family (a :: [a]) ++ (a :: [a]) :: [a] where ...
(%++) :: forall a (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (++@#@$) t) t :: [a])
type family Otherwise :: Bool where ...
sOtherwise :: Sing (OtherwiseSym0 :: Bool)
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 (a :: (~>) a b) $ (a :: a) :: b where ...
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)
(%$!) :: forall a b (t :: (~>) a b) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($!@#@$) t) t :: b)
type family Until (a :: (~>) a Bool) (a :: (~>) a a) (a :: a) :: a where ...
sUntil :: forall a (t :: (~>) a Bool) (t :: (~>) a a) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply UntilSym0 t) t) t :: a)
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 AsTypeOf (a :: a) (a :: a) :: a where ...
sAsTypeOf :: forall a (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a)
type family Seq (a :: a) (a :: b) :: b where ...
sSeq :: forall a b (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b)
data FoldrSym0 :: forall a6989586621679545436 b6989586621679545437. (~>) ((~>) a6989586621679545436 ((~>) b6989586621679545437 b6989586621679545437)) ((~>) b6989586621679545437 ((~>) [a6989586621679545436] b6989586621679545437))
data FoldrSym1 (a6989586621679545645 :: (~>) a6989586621679545436 ((~>) b6989586621679545437 b6989586621679545437)) :: (~>) b6989586621679545437 ((~>) [a6989586621679545436] b6989586621679545437)
data FoldrSym2 (a6989586621679545645 :: (~>) a6989586621679545436 ((~>) b6989586621679545437 b6989586621679545437)) (a6989586621679545646 :: b6989586621679545437) :: (~>) [a6989586621679545436] b6989586621679545437
type FoldrSym3 (a6989586621679545645 :: (~>) a6989586621679545436 ((~>) b6989586621679545437 b6989586621679545437)) (a6989586621679545646 :: b6989586621679545437) (a6989586621679545647 :: [a6989586621679545436]) = Foldr a6989586621679545645 a6989586621679545646 a6989586621679545647
data MapSym0 :: forall a6989586621679545434 b6989586621679545435. (~>) ((~>) a6989586621679545434 b6989586621679545435) ((~>) [a6989586621679545434] [b6989586621679545435])
data MapSym1 (a6989586621679545638 :: (~>) a6989586621679545434 b6989586621679545435) :: (~>) [a6989586621679545434] [b6989586621679545435]
type MapSym2 (a6989586621679545638 :: (~>) a6989586621679545434 b6989586621679545435) (a6989586621679545639 :: [a6989586621679545434]) = Map a6989586621679545638 a6989586621679545639
data (++@#@$) :: forall a6989586621679545433. (~>) [a6989586621679545433] ((~>) [a6989586621679545433] [a6989586621679545433])
data (++@#@$$) (a6989586621679545630 :: [a6989586621679545433]) :: (~>) [a6989586621679545433] [a6989586621679545433]
type (++@#@$$$) (a6989586621679545630 :: [a6989586621679545433]) (a6989586621679545631 :: [a6989586621679545433]) = (++) a6989586621679545630 a6989586621679545631
type OtherwiseSym0 = Otherwise
data IdSym0 :: forall a6989586621679545432. (~>) a6989586621679545432 a6989586621679545432
type IdSym1 (a6989586621679545627 :: a6989586621679545432) = Id a6989586621679545627
data ConstSym0 :: forall a6989586621679545430 b6989586621679545431. (~>) a6989586621679545430 ((~>) b6989586621679545431 a6989586621679545430)
data ConstSym1 (a6989586621679545622 :: a6989586621679545430) :: forall b6989586621679545431. (~>) b6989586621679545431 a6989586621679545430
type ConstSym2 (a6989586621679545622 :: a6989586621679545430) (a6989586621679545623 :: b6989586621679545431) = Const a6989586621679545622 a6989586621679545623
data (.@#@$) :: forall b6989586621679545427 c6989586621679545428 a6989586621679545429. (~>) ((~>) b6989586621679545427 c6989586621679545428) ((~>) ((~>) a6989586621679545429 b6989586621679545427) ((~>) a6989586621679545429 c6989586621679545428))
data (.@#@$$) (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) :: forall a6989586621679545429. (~>) ((~>) a6989586621679545429 b6989586621679545427) ((~>) a6989586621679545429 c6989586621679545428)
data (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) .@#@$$$ (a6989586621679545604 :: (~>) a6989586621679545429 b6989586621679545427) :: (~>) a6989586621679545429 c6989586621679545428
type (.@#@$$$$) (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) (a6989586621679545604 :: (~>) a6989586621679545429 b6989586621679545427) (a6989586621679545605 :: a6989586621679545429) = (.) a6989586621679545603 a6989586621679545604 a6989586621679545605
data ($@#@$) :: forall a6989586621679545421 b6989586621679545422. (~>) ((~>) a6989586621679545421 b6989586621679545422) ((~>) a6989586621679545421 b6989586621679545422)
data ($@#@$$) (a6989586621679545578 :: (~>) a6989586621679545421 b6989586621679545422) :: (~>) a6989586621679545421 b6989586621679545422
type ($@#@$$$) (a6989586621679545578 :: (~>) a6989586621679545421 b6989586621679545422) (a6989586621679545579 :: a6989586621679545421) = ($) a6989586621679545578 a6989586621679545579
data ($!@#@$) :: forall a6989586621679545419 b6989586621679545420. (~>) ((~>) a6989586621679545419 b6989586621679545420) ((~>) a6989586621679545419 b6989586621679545420)
data ($!@#@$$) (a6989586621679545569 :: (~>) a6989586621679545419 b6989586621679545420) :: (~>) a6989586621679545419 b6989586621679545420
type ($!@#@$$$) (a6989586621679545569 :: (~>) a6989586621679545419 b6989586621679545420) (a6989586621679545570 :: a6989586621679545419) = ($!) a6989586621679545569 a6989586621679545570
data UntilSym0 :: forall a6989586621679545418. (~>) ((~>) a6989586621679545418 Bool) ((~>) ((~>) a6989586621679545418 a6989586621679545418) ((~>) a6989586621679545418 a6989586621679545418))
data UntilSym1 (a6989586621679545543 :: (~>) a6989586621679545418 Bool) :: (~>) ((~>) a6989586621679545418 a6989586621679545418) ((~>) a6989586621679545418 a6989586621679545418)
data UntilSym2 (a6989586621679545543 :: (~>) a6989586621679545418 Bool) (a6989586621679545544 :: (~>) a6989586621679545418 a6989586621679545418) :: (~>) a6989586621679545418 a6989586621679545418
type UntilSym3 (a6989586621679545543 :: (~>) a6989586621679545418 Bool) (a6989586621679545544 :: (~>) a6989586621679545418 a6989586621679545418) (a6989586621679545545 :: a6989586621679545418) = Until a6989586621679545543 a6989586621679545544 a6989586621679545545
data FlipSym0 :: forall a6989586621679545424 b6989586621679545425 c6989586621679545426. (~>) ((~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) ((~>) b6989586621679545425 ((~>) a6989586621679545424 c6989586621679545426))
data FlipSym1 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) :: (~>) b6989586621679545425 ((~>) a6989586621679545424 c6989586621679545426)
data FlipSym2 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) (a6989586621679545595 :: b6989586621679545425) :: (~>) a6989586621679545424 c6989586621679545426
type FlipSym3 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) (a6989586621679545595 :: b6989586621679545425) (a6989586621679545596 :: a6989586621679545424) = Flip a6989586621679545594 a6989586621679545595 a6989586621679545596
data AsTypeOfSym0 :: forall a6989586621679545423. (~>) a6989586621679545423 ((~>) a6989586621679545423 a6989586621679545423)
data AsTypeOfSym1 (a6989586621679545588 :: a6989586621679545423) :: (~>) a6989586621679545423 a6989586621679545423
type AsTypeOfSym2 (a6989586621679545588 :: a6989586621679545423) (a6989586621679545589 :: a6989586621679545423) = AsTypeOf a6989586621679545588 a6989586621679545589
data SeqSym0 :: forall a6989586621679545416 b6989586621679545417. (~>) a6989586621679545416 ((~>) b6989586621679545417 b6989586621679545417)
data SeqSym1 (a6989586621679545538 :: a6989586621679545416) :: forall b6989586621679545417. (~>) b6989586621679545417 b6989586621679545417
type SeqSym2 (a6989586621679545538 :: a6989586621679545416) (a6989586621679545539 :: b6989586621679545417) = Seq a6989586621679545538 a6989586621679545539

Basic functions

type family Foldr (a :: (~>) a ((~>) b b)) (a :: b) (a :: [a]) :: b where ... Source #

Equations

Foldr k z a_6989586621679545651 = Apply (Let6989586621679545656GoSym3 k z a_6989586621679545651) a_6989586621679545651

sFoldr :: forall a b (t :: (~>) a ((~>) b b)) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) Source #

type family Map (a :: (~>) a b) (a :: [a]) :: [b] where ... Source #

Equations

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

sMap :: forall a b (t :: (~>) a b) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) Source #

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

Equations

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

(%++) :: forall a (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (++@#@$) t) t :: [a]) infixr 5 Source #

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

Equations

Otherwise = TrueSym0

sOtherwise :: Sing (OtherwiseSym0 :: Bool) Source #

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_6989586621679545609 = Apply (Apply (Apply (Apply Lambda_6989586621679545614Sym0 f) g) a_6989586621679545609) a_6989586621679545609

(%.) :: 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 (a :: (~>) a b) $ (a :: a) :: b where ... infixr 0 Source #

Equations

f $ x = Apply f x

type family (a :: (~>) a b) $! (a :: a) :: b where ... infixr 0 Source #

Equations

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

(%$) :: forall a b (t :: (~>) a b) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b) infixr 0 Source #

(%$!) :: forall a b (t :: (~>) a b) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($!@#@$) t) t :: b) infixr 0 Source #

type family Until (a :: (~>) a Bool) (a :: (~>) a a) (a :: a) :: a where ... Source #

Equations

Until p f a_6989586621679545549 = Apply (Let6989586621679545554GoSym3 p f a_6989586621679545549) a_6989586621679545549

sUntil :: forall a (t :: (~>) a Bool) (t :: (~>) a a) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply UntilSym0 t) t) t :: a) 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 AsTypeOf (a :: a) (a :: a) :: a where ... Source #

Equations

AsTypeOf a_6989586621679545584 a_6989586621679545586 = Apply (Apply ConstSym0 a_6989586621679545584) a_6989586621679545586

sAsTypeOf :: forall a (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) Source #

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

Equations

Seq _ x = x

sSeq :: forall a b (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b) infixr 0 Source #

Defunctionalization symbols

data FoldrSym0 :: forall a6989586621679545436 b6989586621679545437. (~>) ((~>) a6989586621679545436 ((~>) b6989586621679545437 b6989586621679545437)) ((~>) b6989586621679545437 ((~>) [a6989586621679545436] b6989586621679545437)) Source #

Instances

Instances details

SingI (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing FoldrSym0 Source #
SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621679545436 ~> (b6989586621679545437 ~> b6989586621679545437)) (b6989586621679545437 ~> ([a6989586621679545436] ~> b6989586621679545437)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym0 :: TyFun (a6989586621679545436 ~> (b6989586621679545437 ~> b6989586621679545437)) (b6989586621679545437 ~> ([a6989586621679545436] ~> b6989586621679545437)) -> Type) (a6989586621679545645 :: a6989586621679545436 ~> (b6989586621679545437 ~> b6989586621679545437)) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym0 :: TyFun (a6989586621679545436 ~> (b6989586621679545437 ~> b6989586621679545437)) (b6989586621679545437 ~> ([a6989586621679545436] ~> b6989586621679545437)) -> Type) (a6989586621679545645 :: a6989586621679545436 ~> (b6989586621679545437 ~> b6989586621679545437)) = FoldrSym1 a6989586621679545645

data FoldrSym1 (a6989586621679545645 :: (~>) a6989586621679545436 ((~>) b6989586621679545437 b6989586621679545437)) :: (~>) b6989586621679545437 ((~>) [a6989586621679545436] b6989586621679545437) Source #

Instances

Instances details

SingI d => SingI (FoldrSym1 d :: TyFun b ([a] ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (FoldrSym1 d) Source #
SuppressUnusedWarnings (FoldrSym1 a6989586621679545645 :: TyFun b6989586621679545437 ([a6989586621679545436] ~> b6989586621679545437) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym1 a6989586621679545645 :: TyFun b6989586621679545437 ([a6989586621679545436] ~> b6989586621679545437) -> Type) (a6989586621679545646 :: b6989586621679545437) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym1 a6989586621679545645 :: TyFun b6989586621679545437 ([a6989586621679545436] ~> b6989586621679545437) -> Type) (a6989586621679545646 :: b6989586621679545437) = FoldrSym2 a6989586621679545645 a6989586621679545646

data FoldrSym2 (a6989586621679545645 :: (~>) a6989586621679545436 ((~>) b6989586621679545437 b6989586621679545437)) (a6989586621679545646 :: b6989586621679545437) :: (~>) [a6989586621679545436] b6989586621679545437 Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (FoldrSym2 d1 d2 :: TyFun [a] b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (FoldrSym2 d1 d2) Source #
SuppressUnusedWarnings (FoldrSym2 a6989586621679545646 a6989586621679545645 :: TyFun [a6989586621679545436] b6989586621679545437 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym2 a6989586621679545646 a6989586621679545645 :: TyFun [a] b -> Type) (a6989586621679545647 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym2 a6989586621679545646 a6989586621679545645 :: TyFun [a] b -> Type) (a6989586621679545647 :: [a]) = Foldr a6989586621679545646 a6989586621679545645 a6989586621679545647

type FoldrSym3 (a6989586621679545645 :: (~>) a6989586621679545436 ((~>) b6989586621679545437 b6989586621679545437)) (a6989586621679545646 :: b6989586621679545437) (a6989586621679545647 :: [a6989586621679545436]) = Foldr a6989586621679545645 a6989586621679545646 a6989586621679545647 Source #

data MapSym0 :: forall a6989586621679545434 b6989586621679545435. (~>) ((~>) a6989586621679545434 b6989586621679545435) ((~>) [a6989586621679545434] [b6989586621679545435]) Source #

Instances

Instances details

SingI (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing MapSym0 Source #
SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621679545434 ~> b6989586621679545435) ([a6989586621679545434] ~> [b6989586621679545435]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym0 :: TyFun (a6989586621679545434 ~> b6989586621679545435) ([a6989586621679545434] ~> [b6989586621679545435]) -> Type) (a6989586621679545638 :: a6989586621679545434 ~> b6989586621679545435) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym0 :: TyFun (a6989586621679545434 ~> b6989586621679545435) ([a6989586621679545434] ~> [b6989586621679545435]) -> Type) (a6989586621679545638 :: a6989586621679545434 ~> b6989586621679545435) = MapSym1 a6989586621679545638

data MapSym1 (a6989586621679545638 :: (~>) a6989586621679545434 b6989586621679545435) :: (~>) [a6989586621679545434] [b6989586621679545435] Source #

Instances

Instances details

SingI d => SingI (MapSym1 d :: TyFun [a] [b] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (MapSym1 d) Source #
SuppressUnusedWarnings (MapSym1 a6989586621679545638 :: TyFun [a6989586621679545434] [b6989586621679545435] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym1 a6989586621679545638 :: TyFun [a] [b] -> Type) (a6989586621679545639 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym1 a6989586621679545638 :: TyFun [a] [b] -> Type) (a6989586621679545639 :: [a]) = Map a6989586621679545638 a6989586621679545639

type MapSym2 (a6989586621679545638 :: (~>) a6989586621679545434 b6989586621679545435) (a6989586621679545639 :: [a6989586621679545434]) = Map a6989586621679545638 a6989586621679545639 Source #

data (++@#@$) :: forall a6989586621679545433. (~>) [a6989586621679545433] ((~>) [a6989586621679545433] [a6989586621679545433]) infixr 5 Source #

Instances

Instances details

SingI ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (++@#@$) Source #
SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679545433] ([a6989586621679545433] ~> [a6989586621679545433]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((++@#@$) :: TyFun [a6989586621679545433] ([a6989586621679545433] ~> [a6989586621679545433]) -> Type) (a6989586621679545630 :: [a6989586621679545433]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((++@#@$) :: TyFun [a6989586621679545433] ([a6989586621679545433] ~> [a6989586621679545433]) -> Type) (a6989586621679545630 :: [a6989586621679545433]) = (++@#@$$) a6989586621679545630

data (++@#@$$) (a6989586621679545630 :: [a6989586621679545433]) :: (~>) [a6989586621679545433] [a6989586621679545433] infixr 5 Source #

Instances

Instances details

SingI d => SingI ((++@#@$$) d :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing ((++@#@$$) d) Source #
SuppressUnusedWarnings ((++@#@$$) a6989586621679545630 :: TyFun [a6989586621679545433] [a6989586621679545433] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((++@#@$$) a6989586621679545630 :: TyFun [a] [a] -> Type) (a6989586621679545631 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((++@#@$$) a6989586621679545630 :: TyFun [a] [a] -> Type) (a6989586621679545631 :: [a]) = a6989586621679545630 ++ a6989586621679545631

type (++@#@$$$) (a6989586621679545630 :: [a6989586621679545433]) (a6989586621679545631 :: [a6989586621679545433]) = (++) a6989586621679545630 a6989586621679545631 Source #

type OtherwiseSym0 = Otherwise Source #

data IdSym0 :: forall a6989586621679545432. (~>) a6989586621679545432 a6989586621679545432 Source #

Instances

Instances details

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

type IdSym1 (a6989586621679545627 :: a6989586621679545432) = Id a6989586621679545627 Source #

data ConstSym0 :: forall a6989586621679545430 b6989586621679545431. (~>) a6989586621679545430 ((~>) b6989586621679545431 a6989586621679545430) Source #

Instances

Instances details

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

data ConstSym1 (a6989586621679545622 :: a6989586621679545430) :: forall b6989586621679545431. (~>) b6989586621679545431 a6989586621679545430 Source #

Instances

Instances details

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

type ConstSym2 (a6989586621679545622 :: a6989586621679545430) (a6989586621679545623 :: b6989586621679545431) = Const a6989586621679545622 a6989586621679545623 Source #

data (.@#@$) :: forall b6989586621679545427 c6989586621679545428 a6989586621679545429. (~>) ((~>) b6989586621679545427 c6989586621679545428) ((~>) ((~>) a6989586621679545429 b6989586621679545427) ((~>) a6989586621679545429 c6989586621679545428)) infixr 9 Source #

Instances

Instances details

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

data (.@#@$$) (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) :: forall a6989586621679545429. (~>) ((~>) a6989586621679545429 b6989586621679545427) ((~>) a6989586621679545429 c6989586621679545428) infixr 9 Source #

Instances

Instances details

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 (a6989586621679545603 .@#@$$ a6989586621679545429 :: TyFun (a6989586621679545429 ~> b6989586621679545427) (a6989586621679545429 ~> c6989586621679545428) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679545603 .@#@$$ a6989586621679545429 :: TyFun (a6989586621679545429 ~> b6989586621679545427) (a6989586621679545429 ~> c6989586621679545428) -> Type) (a6989586621679545604 :: a6989586621679545429 ~> b6989586621679545427) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679545603 .@#@$$ a6989586621679545429 :: TyFun (a6989586621679545429 ~> b6989586621679545427) (a6989586621679545429 ~> c6989586621679545428) -> Type) (a6989586621679545604 :: a6989586621679545429 ~> b6989586621679545427) = a6989586621679545603 .@#@$$$ a6989586621679545604

data (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) .@#@$$$ (a6989586621679545604 :: (~>) a6989586621679545429 b6989586621679545427) :: (~>) a6989586621679545429 c6989586621679545428 infixr 9 Source #

Instances

Instances details

(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 (a6989586621679545604 .@#@$$$ a6989586621679545603 :: TyFun a6989586621679545429 c6989586621679545428 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679545604 .@#@$$$ a6989586621679545603 :: TyFun a c -> Type) (a6989586621679545605 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679545604 .@#@$$$ a6989586621679545603 :: TyFun a c -> Type) (a6989586621679545605 :: a) = (a6989586621679545604 . a6989586621679545603) a6989586621679545605

type (.@#@$$$$) (a6989586621679545603 :: (~>) b6989586621679545427 c6989586621679545428) (a6989586621679545604 :: (~>) a6989586621679545429 b6989586621679545427) (a6989586621679545605 :: a6989586621679545429) = (.) a6989586621679545603 a6989586621679545604 a6989586621679545605 Source #

data ($@#@$) :: forall a6989586621679545421 b6989586621679545422. (~>) ((~>) a6989586621679545421 b6989586621679545422) ((~>) a6989586621679545421 b6989586621679545422) infixr 0 Source #

Instances

Instances details

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

data ($@#@$$) (a6989586621679545578 :: (~>) a6989586621679545421 b6989586621679545422) :: (~>) a6989586621679545421 b6989586621679545422 infixr 0 Source #

Instances

Instances details

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

type ($@#@$$$) (a6989586621679545578 :: (~>) a6989586621679545421 b6989586621679545422) (a6989586621679545579 :: a6989586621679545421) = ($) a6989586621679545578 a6989586621679545579 Source #

data ($!@#@$) :: forall a6989586621679545419 b6989586621679545420. (~>) ((~>) a6989586621679545419 b6989586621679545420) ((~>) a6989586621679545419 b6989586621679545420) infixr 0 Source #

Instances

Instances details

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

data ($!@#@$$) (a6989586621679545569 :: (~>) a6989586621679545419 b6989586621679545420) :: (~>) a6989586621679545419 b6989586621679545420 infixr 0 Source #

Instances

Instances details

SingI d => SingI (($!@#@$$) d :: TyFun a b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (($!@#@$$) d) Source #
SuppressUnusedWarnings (($!@#@$$) a6989586621679545569 :: TyFun a6989586621679545419 b6989586621679545420 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($!@#@$$) a6989586621679545569 :: TyFun a b -> Type) (a6989586621679545570 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($!@#@$$) a6989586621679545569 :: TyFun a b -> Type) (a6989586621679545570 :: a) = a6989586621679545569 $! a6989586621679545570

type ($!@#@$$$) (a6989586621679545569 :: (~>) a6989586621679545419 b6989586621679545420) (a6989586621679545570 :: a6989586621679545419) = ($!) a6989586621679545569 a6989586621679545570 Source #

data UntilSym0 :: forall a6989586621679545418. (~>) ((~>) a6989586621679545418 Bool) ((~>) ((~>) a6989586621679545418 a6989586621679545418) ((~>) a6989586621679545418 a6989586621679545418)) Source #

Instances

Instances details

SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing UntilSym0 Source #
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679545418 ~> Bool) ((a6989586621679545418 ~> a6989586621679545418) ~> (a6989586621679545418 ~> a6989586621679545418)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym0 :: TyFun (a6989586621679545418 ~> Bool) ((a6989586621679545418 ~> a6989586621679545418) ~> (a6989586621679545418 ~> a6989586621679545418)) -> Type) (a6989586621679545543 :: a6989586621679545418 ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (UntilSym0 :: TyFun (a6989586621679545418 ~> Bool) ((a6989586621679545418 ~> a6989586621679545418) ~> (a6989586621679545418 ~> a6989586621679545418)) -> Type) (a6989586621679545543 :: a6989586621679545418 ~> Bool) = UntilSym1 a6989586621679545543

data UntilSym1 (a6989586621679545543 :: (~>) a6989586621679545418 Bool) :: (~>) ((~>) a6989586621679545418 a6989586621679545418) ((~>) a6989586621679545418 a6989586621679545418) Source #

Instances

Instances details

SingI d => SingI (UntilSym1 d :: TyFun (a ~> a) (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (UntilSym1 d) Source #
SuppressUnusedWarnings (UntilSym1 a6989586621679545543 :: TyFun (a6989586621679545418 ~> a6989586621679545418) (a6989586621679545418 ~> a6989586621679545418) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym1 a6989586621679545543 :: TyFun (a6989586621679545418 ~> a6989586621679545418) (a6989586621679545418 ~> a6989586621679545418) -> Type) (a6989586621679545544 :: a6989586621679545418 ~> a6989586621679545418) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (UntilSym1 a6989586621679545543 :: TyFun (a6989586621679545418 ~> a6989586621679545418) (a6989586621679545418 ~> a6989586621679545418) -> Type) (a6989586621679545544 :: a6989586621679545418 ~> a6989586621679545418) = UntilSym2 a6989586621679545543 a6989586621679545544

data UntilSym2 (a6989586621679545543 :: (~>) a6989586621679545418 Bool) (a6989586621679545544 :: (~>) a6989586621679545418 a6989586621679545418) :: (~>) a6989586621679545418 a6989586621679545418 Source #

Instances

Instances details

(SingI d1, SingI d2) => SingI (UntilSym2 d1 d2 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (UntilSym2 d1 d2) Source #
SuppressUnusedWarnings (UntilSym2 a6989586621679545544 a6989586621679545543 :: TyFun a6989586621679545418 a6989586621679545418 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym2 a6989586621679545544 a6989586621679545543 :: TyFun a a -> Type) (a6989586621679545545 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (UntilSym2 a6989586621679545544 a6989586621679545543 :: TyFun a a -> Type) (a6989586621679545545 :: a) = Until a6989586621679545544 a6989586621679545543 a6989586621679545545

type UntilSym3 (a6989586621679545543 :: (~>) a6989586621679545418 Bool) (a6989586621679545544 :: (~>) a6989586621679545418 a6989586621679545418) (a6989586621679545545 :: a6989586621679545418) = Until a6989586621679545543 a6989586621679545544 a6989586621679545545 Source #

data FlipSym0 :: forall a6989586621679545424 b6989586621679545425 c6989586621679545426. (~>) ((~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) ((~>) b6989586621679545425 ((~>) a6989586621679545424 c6989586621679545426)) Source #

Instances

Instances details

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

data FlipSym1 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) :: (~>) b6989586621679545425 ((~>) a6989586621679545424 c6989586621679545426) Source #

Instances

Instances details

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 a6989586621679545594 :: TyFun b6989586621679545425 (a6989586621679545424 ~> c6989586621679545426) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym1 a6989586621679545594 :: TyFun b6989586621679545425 (a6989586621679545424 ~> c6989586621679545426) -> Type) (a6989586621679545595 :: b6989586621679545425) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym1 a6989586621679545594 :: TyFun b6989586621679545425 (a6989586621679545424 ~> c6989586621679545426) -> Type) (a6989586621679545595 :: b6989586621679545425) = FlipSym2 a6989586621679545594 a6989586621679545595

data FlipSym2 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) (a6989586621679545595 :: b6989586621679545425) :: (~>) a6989586621679545424 c6989586621679545426 Source #

Instances

Instances details

(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 a6989586621679545595 a6989586621679545594 :: TyFun a6989586621679545424 c6989586621679545426 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym2 a6989586621679545595 a6989586621679545594 :: TyFun a c -> Type) (a6989586621679545596 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym2 a6989586621679545595 a6989586621679545594 :: TyFun a c -> Type) (a6989586621679545596 :: a) = Flip a6989586621679545595 a6989586621679545594 a6989586621679545596

type FlipSym3 (a6989586621679545594 :: (~>) a6989586621679545424 ((~>) b6989586621679545425 c6989586621679545426)) (a6989586621679545595 :: b6989586621679545425) (a6989586621679545596 :: a6989586621679545424) = Flip a6989586621679545594 a6989586621679545595 a6989586621679545596 Source #

data AsTypeOfSym0 :: forall a6989586621679545423. (~>) a6989586621679545423 ((~>) a6989586621679545423 a6989586621679545423) Source #

Instances

Instances details

SingI (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing AsTypeOfSym0 Source #
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679545423 (a6989586621679545423 ~> a6989586621679545423) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (AsTypeOfSym0 :: TyFun a6989586621679545423 (a6989586621679545423 ~> a6989586621679545423) -> Type) (a6989586621679545588 :: a6989586621679545423) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym0 :: TyFun a6989586621679545423 (a6989586621679545423 ~> a6989586621679545423) -> Type) (a6989586621679545588 :: a6989586621679545423) = AsTypeOfSym1 a6989586621679545588

data AsTypeOfSym1 (a6989586621679545588 :: a6989586621679545423) :: (~>) a6989586621679545423 a6989586621679545423 Source #

Instances

Instances details

SingI d => SingI (AsTypeOfSym1 d :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (AsTypeOfSym1 d) Source #
SuppressUnusedWarnings (AsTypeOfSym1 a6989586621679545588 :: TyFun a6989586621679545423 a6989586621679545423 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (AsTypeOfSym1 a6989586621679545588 :: TyFun a a -> Type) (a6989586621679545589 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym1 a6989586621679545588 :: TyFun a a -> Type) (a6989586621679545589 :: a) = AsTypeOf a6989586621679545588 a6989586621679545589

type AsTypeOfSym2 (a6989586621679545588 :: a6989586621679545423) (a6989586621679545589 :: a6989586621679545423) = AsTypeOf a6989586621679545588 a6989586621679545589 Source #

data SeqSym0 :: forall a6989586621679545416 b6989586621679545417. (~>) a6989586621679545416 ((~>) b6989586621679545417 b6989586621679545417) infixr 0 Source #

Instances

Instances details

SingI (SeqSym0 :: TyFun a (b ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing SeqSym0 Source #
SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679545416 (b6989586621679545417 ~> b6989586621679545417) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (SeqSym0 :: TyFun a6989586621679545416 (b6989586621679545417 ~> b6989586621679545417) -> Type) (a6989586621679545538 :: a6989586621679545416) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym0 :: TyFun a6989586621679545416 (b6989586621679545417 ~> b6989586621679545417) -> Type) (a6989586621679545538 :: a6989586621679545416) = SeqSym1 a6989586621679545538 b6989586621679545417 :: TyFun b6989586621679545417 b6989586621679545417 -> Type

data SeqSym1 (a6989586621679545538 :: a6989586621679545416) :: forall b6989586621679545417. (~>) b6989586621679545417 b6989586621679545417 infixr 0 Source #

Instances

Instances details

SingI d => SingI (SeqSym1 d b :: TyFun b b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (SeqSym1 d b) Source #
SuppressUnusedWarnings (SeqSym1 a6989586621679545538 b6989586621679545417 :: TyFun b6989586621679545417 b6989586621679545417 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (SeqSym1 a6989586621679545538 b :: TyFun b b -> Type) (a6989586621679545539 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym1 a6989586621679545538 b :: TyFun b b -> Type) (a6989586621679545539 :: b) = Seq a6989586621679545538 a6989586621679545539

type SeqSym2 (a6989586621679545538 :: a6989586621679545416) (a6989586621679545539 :: b6989586621679545417) = Seq a6989586621679545538 a6989586621679545539 Source #