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

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 a6989586621679541562 b6989586621679541563. (~>) ((~>) a6989586621679541562 ((~>) b6989586621679541563 b6989586621679541563)) ((~>) b6989586621679541563 ((~>) [a6989586621679541562] b6989586621679541563))
  • data FoldrSym1 (a6989586621679541771 :: (~>) a6989586621679541562 ((~>) b6989586621679541563 b6989586621679541563)) :: (~>) b6989586621679541563 ((~>) [a6989586621679541562] b6989586621679541563)
  • data FoldrSym2 (a6989586621679541771 :: (~>) a6989586621679541562 ((~>) b6989586621679541563 b6989586621679541563)) (a6989586621679541772 :: b6989586621679541563) :: (~>) [a6989586621679541562] b6989586621679541563
  • type FoldrSym3 (a6989586621679541771 :: (~>) a6989586621679541562 ((~>) b6989586621679541563 b6989586621679541563)) (a6989586621679541772 :: b6989586621679541563) (a6989586621679541773 :: [a6989586621679541562]) = Foldr a6989586621679541771 a6989586621679541772 a6989586621679541773
  • data MapSym0 :: forall a6989586621679541560 b6989586621679541561. (~>) ((~>) a6989586621679541560 b6989586621679541561) ((~>) [a6989586621679541560] [b6989586621679541561])
  • data MapSym1 (a6989586621679541764 :: (~>) a6989586621679541560 b6989586621679541561) :: (~>) [a6989586621679541560] [b6989586621679541561]
  • type MapSym2 (a6989586621679541764 :: (~>) a6989586621679541560 b6989586621679541561) (a6989586621679541765 :: [a6989586621679541560]) = Map a6989586621679541764 a6989586621679541765
  • data (++@#@$) :: forall a6989586621679541559. (~>) [a6989586621679541559] ((~>) [a6989586621679541559] [a6989586621679541559])
  • data (++@#@$$) (a6989586621679541756 :: [a6989586621679541559]) :: (~>) [a6989586621679541559] [a6989586621679541559]
  • type (++@#@$$$) (a6989586621679541756 :: [a6989586621679541559]) (a6989586621679541757 :: [a6989586621679541559]) = (++) a6989586621679541756 a6989586621679541757
  • type OtherwiseSym0 = Otherwise
  • data IdSym0 :: forall a6989586621679541558. (~>) a6989586621679541558 a6989586621679541558
  • type IdSym1 (a6989586621679541753 :: a6989586621679541558) = Id a6989586621679541753
  • data ConstSym0 :: forall a6989586621679541556 b6989586621679541557. (~>) a6989586621679541556 ((~>) b6989586621679541557 a6989586621679541556)
  • data ConstSym1 (a6989586621679541748 :: a6989586621679541556) :: forall b6989586621679541557. (~>) b6989586621679541557 a6989586621679541556
  • type ConstSym2 (a6989586621679541748 :: a6989586621679541556) (a6989586621679541749 :: b6989586621679541557) = Const a6989586621679541748 a6989586621679541749
  • data (.@#@$) :: forall b6989586621679541553 c6989586621679541554 a6989586621679541555. (~>) ((~>) b6989586621679541553 c6989586621679541554) ((~>) ((~>) a6989586621679541555 b6989586621679541553) ((~>) a6989586621679541555 c6989586621679541554))
  • data (.@#@$$) (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) :: forall a6989586621679541555. (~>) ((~>) a6989586621679541555 b6989586621679541553) ((~>) a6989586621679541555 c6989586621679541554)
  • data (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) .@#@$$$ (a6989586621679541730 :: (~>) a6989586621679541555 b6989586621679541553) :: (~>) a6989586621679541555 c6989586621679541554
  • type (.@#@$$$$) (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) (a6989586621679541730 :: (~>) a6989586621679541555 b6989586621679541553) (a6989586621679541731 :: a6989586621679541555) = (.) a6989586621679541729 a6989586621679541730 a6989586621679541731
  • data ($@#@$) :: forall a6989586621679541547 b6989586621679541548. (~>) ((~>) a6989586621679541547 b6989586621679541548) ((~>) a6989586621679541547 b6989586621679541548)
  • data ($@#@$$) (a6989586621679541704 :: (~>) a6989586621679541547 b6989586621679541548) :: (~>) a6989586621679541547 b6989586621679541548
  • type ($@#@$$$) (a6989586621679541704 :: (~>) a6989586621679541547 b6989586621679541548) (a6989586621679541705 :: a6989586621679541547) = ($) a6989586621679541704 a6989586621679541705
  • data ($!@#@$) :: forall a6989586621679541545 b6989586621679541546. (~>) ((~>) a6989586621679541545 b6989586621679541546) ((~>) a6989586621679541545 b6989586621679541546)
  • data ($!@#@$$) (a6989586621679541695 :: (~>) a6989586621679541545 b6989586621679541546) :: (~>) a6989586621679541545 b6989586621679541546
  • type ($!@#@$$$) (a6989586621679541695 :: (~>) a6989586621679541545 b6989586621679541546) (a6989586621679541696 :: a6989586621679541545) = ($!) a6989586621679541695 a6989586621679541696
  • data UntilSym0 :: forall a6989586621679541544. (~>) ((~>) a6989586621679541544 Bool) ((~>) ((~>) a6989586621679541544 a6989586621679541544) ((~>) a6989586621679541544 a6989586621679541544))
  • data UntilSym1 (a6989586621679541669 :: (~>) a6989586621679541544 Bool) :: (~>) ((~>) a6989586621679541544 a6989586621679541544) ((~>) a6989586621679541544 a6989586621679541544)
  • data UntilSym2 (a6989586621679541669 :: (~>) a6989586621679541544 Bool) (a6989586621679541670 :: (~>) a6989586621679541544 a6989586621679541544) :: (~>) a6989586621679541544 a6989586621679541544
  • type UntilSym3 (a6989586621679541669 :: (~>) a6989586621679541544 Bool) (a6989586621679541670 :: (~>) a6989586621679541544 a6989586621679541544) (a6989586621679541671 :: a6989586621679541544) = Until a6989586621679541669 a6989586621679541670 a6989586621679541671
  • data FlipSym0 :: forall a6989586621679541550 b6989586621679541551 c6989586621679541552. (~>) ((~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) ((~>) b6989586621679541551 ((~>) a6989586621679541550 c6989586621679541552))
  • data FlipSym1 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) :: (~>) b6989586621679541551 ((~>) a6989586621679541550 c6989586621679541552)
  • data FlipSym2 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) (a6989586621679541721 :: b6989586621679541551) :: (~>) a6989586621679541550 c6989586621679541552
  • type FlipSym3 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) (a6989586621679541721 :: b6989586621679541551) (a6989586621679541722 :: a6989586621679541550) = Flip a6989586621679541720 a6989586621679541721 a6989586621679541722
  • data AsTypeOfSym0 :: forall a6989586621679541549. (~>) a6989586621679541549 ((~>) a6989586621679541549 a6989586621679541549)
  • data AsTypeOfSym1 (a6989586621679541714 :: a6989586621679541549) :: (~>) a6989586621679541549 a6989586621679541549
  • type AsTypeOfSym2 (a6989586621679541714 :: a6989586621679541549) (a6989586621679541715 :: a6989586621679541549) = AsTypeOf a6989586621679541714 a6989586621679541715
  • data SeqSym0 :: forall a6989586621679541542 b6989586621679541543. (~>) a6989586621679541542 ((~>) b6989586621679541543 b6989586621679541543)
  • data SeqSym1 (a6989586621679541664 :: a6989586621679541542) :: forall b6989586621679541543. (~>) b6989586621679541543 b6989586621679541543
  • type SeqSym2 (a6989586621679541664 :: a6989586621679541542) (a6989586621679541665 :: b6989586621679541543) = Seq a6989586621679541664 a6989586621679541665

Basic functions

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

Equations

Foldr k z a_6989586621679541777 = Apply (Let6989586621679541782GoSym3 k z a_6989586621679541777) a_6989586621679541777 

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 

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_6989586621679541735 = Apply (Apply (Apply (Apply Lambda_6989586621679541740Sym0 f) g) a_6989586621679541735) a_6989586621679541735 

(%.) :: 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 (Let6989586621679541701VxSym2 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_6989586621679541675 = Apply (Let6989586621679541680GoSym3 p f a_6989586621679541675) a_6989586621679541675 

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_6989586621679541710 a_6989586621679541712 = Apply (Apply ConstSym0 a_6989586621679541710) a_6989586621679541712 

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 a6989586621679541562 b6989586621679541563. (~>) ((~>) a6989586621679541562 ((~>) b6989586621679541563 b6989586621679541563)) ((~>) b6989586621679541563 ((~>) [a6989586621679541562] b6989586621679541563)) Source #

Instances

Instances details
SingI (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621679541562 ~> (b6989586621679541563 ~> b6989586621679541563)) (b6989586621679541563 ~> ([a6989586621679541562] ~> b6989586621679541563)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (a6989586621679541562 ~> (b6989586621679541563 ~> b6989586621679541563)) (b6989586621679541563 ~> ([a6989586621679541562] ~> b6989586621679541563)) -> Type) (a6989586621679541771 :: a6989586621679541562 ~> (b6989586621679541563 ~> b6989586621679541563)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (a6989586621679541562 ~> (b6989586621679541563 ~> b6989586621679541563)) (b6989586621679541563 ~> ([a6989586621679541562] ~> b6989586621679541563)) -> Type) (a6989586621679541771 :: a6989586621679541562 ~> (b6989586621679541563 ~> b6989586621679541563)) = FoldrSym1 a6989586621679541771

data FoldrSym1 (a6989586621679541771 :: (~>) a6989586621679541562 ((~>) b6989586621679541563 b6989586621679541563)) :: (~>) b6989586621679541563 ((~>) [a6989586621679541562] b6989586621679541563) 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 a6989586621679541771 :: TyFun b6989586621679541563 ([a6989586621679541562] ~> b6989586621679541563) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 a6989586621679541771 :: TyFun b6989586621679541563 ([a6989586621679541562] ~> b6989586621679541563) -> Type) (a6989586621679541772 :: b6989586621679541563) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 a6989586621679541771 :: TyFun b6989586621679541563 ([a6989586621679541562] ~> b6989586621679541563) -> Type) (a6989586621679541772 :: b6989586621679541563) = FoldrSym2 a6989586621679541771 a6989586621679541772

data FoldrSym2 (a6989586621679541771 :: (~>) a6989586621679541562 ((~>) b6989586621679541563 b6989586621679541563)) (a6989586621679541772 :: b6989586621679541563) :: (~>) [a6989586621679541562] b6989586621679541563 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 a6989586621679541772 a6989586621679541771 :: TyFun [a6989586621679541562] b6989586621679541563 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym2 a6989586621679541772 a6989586621679541771 :: TyFun [a] b -> Type) (a6989586621679541773 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym2 a6989586621679541772 a6989586621679541771 :: TyFun [a] b -> Type) (a6989586621679541773 :: [a]) = Foldr a6989586621679541772 a6989586621679541771 a6989586621679541773

type FoldrSym3 (a6989586621679541771 :: (~>) a6989586621679541562 ((~>) b6989586621679541563 b6989586621679541563)) (a6989586621679541772 :: b6989586621679541563) (a6989586621679541773 :: [a6989586621679541562]) = Foldr a6989586621679541771 a6989586621679541772 a6989586621679541773 Source #

data MapSym0 :: forall a6989586621679541560 b6989586621679541561. (~>) ((~>) a6989586621679541560 b6989586621679541561) ((~>) [a6989586621679541560] [b6989586621679541561]) Source #

Instances

Instances details
SingI (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621679541560 ~> b6989586621679541561) ([a6989586621679541560] ~> [b6989586621679541561]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (a6989586621679541560 ~> b6989586621679541561) ([a6989586621679541560] ~> [b6989586621679541561]) -> Type) (a6989586621679541764 :: a6989586621679541560 ~> b6989586621679541561) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (a6989586621679541560 ~> b6989586621679541561) ([a6989586621679541560] ~> [b6989586621679541561]) -> Type) (a6989586621679541764 :: a6989586621679541560 ~> b6989586621679541561) = MapSym1 a6989586621679541764

data MapSym1 (a6989586621679541764 :: (~>) a6989586621679541560 b6989586621679541561) :: (~>) [a6989586621679541560] [b6989586621679541561] 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 a6989586621679541764 :: TyFun [a6989586621679541560] [b6989586621679541561] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym1 a6989586621679541764 :: TyFun [a] [b] -> Type) (a6989586621679541765 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym1 a6989586621679541764 :: TyFun [a] [b] -> Type) (a6989586621679541765 :: [a]) = Map a6989586621679541764 a6989586621679541765

type MapSym2 (a6989586621679541764 :: (~>) a6989586621679541560 b6989586621679541561) (a6989586621679541765 :: [a6989586621679541560]) = Map a6989586621679541764 a6989586621679541765 Source #

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

Instances

Instances details
SingI ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679541559] ([a6989586621679541559] ~> [a6989586621679541559]) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$) :: TyFun [a6989586621679541559] ([a6989586621679541559] ~> [a6989586621679541559]) -> Type) (a6989586621679541756 :: [a6989586621679541559]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$) :: TyFun [a6989586621679541559] ([a6989586621679541559] ~> [a6989586621679541559]) -> Type) (a6989586621679541756 :: [a6989586621679541559]) = (++@#@$$) a6989586621679541756

data (++@#@$$) (a6989586621679541756 :: [a6989586621679541559]) :: (~>) [a6989586621679541559] [a6989586621679541559] 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 ((++@#@$$) a6989586621679541756 :: TyFun [a6989586621679541559] [a6989586621679541559] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$$) a6989586621679541756 :: TyFun [a] [a] -> Type) (a6989586621679541757 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$$) a6989586621679541756 :: TyFun [a] [a] -> Type) (a6989586621679541757 :: [a]) = a6989586621679541756 ++ a6989586621679541757

type (++@#@$$$) (a6989586621679541756 :: [a6989586621679541559]) (a6989586621679541757 :: [a6989586621679541559]) = (++) a6989586621679541756 a6989586621679541757 Source #

data IdSym0 :: forall a6989586621679541558. (~>) a6989586621679541558 a6989586621679541558 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 a6989586621679541558 a6989586621679541558 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679541753 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679541753 :: a) = Id a6989586621679541753

type IdSym1 (a6989586621679541753 :: a6989586621679541558) = Id a6989586621679541753 Source #

data ConstSym0 :: forall a6989586621679541556 b6989586621679541557. (~>) a6989586621679541556 ((~>) b6989586621679541557 a6989586621679541556) Source #

Instances

Instances details
SingI (ConstSym0 :: TyFun a (b ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679541556 (b6989586621679541557 ~> a6989586621679541556) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679541556 (b6989586621679541557 ~> a6989586621679541556) -> Type) (a6989586621679541748 :: a6989586621679541556) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679541556 (b6989586621679541557 ~> a6989586621679541556) -> Type) (a6989586621679541748 :: a6989586621679541556) = ConstSym1 a6989586621679541748 b6989586621679541557 :: TyFun b6989586621679541557 a6989586621679541556 -> Type

data ConstSym1 (a6989586621679541748 :: a6989586621679541556) :: forall b6989586621679541557. (~>) b6989586621679541557 a6989586621679541556 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 a6989586621679541748 b6989586621679541557 :: TyFun b6989586621679541557 a6989586621679541556 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym1 a6989586621679541748 b :: TyFun b a -> Type) (a6989586621679541749 :: b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym1 a6989586621679541748 b :: TyFun b a -> Type) (a6989586621679541749 :: b) = Const a6989586621679541748 a6989586621679541749

type ConstSym2 (a6989586621679541748 :: a6989586621679541556) (a6989586621679541749 :: b6989586621679541557) = Const a6989586621679541748 a6989586621679541749 Source #

data (.@#@$) :: forall b6989586621679541553 c6989586621679541554 a6989586621679541555. (~>) ((~>) b6989586621679541553 c6989586621679541554) ((~>) ((~>) a6989586621679541555 b6989586621679541553) ((~>) a6989586621679541555 c6989586621679541554)) infixr 9 Source #

Instances

Instances details
SingI ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679541553 ~> c6989586621679541554) ((a6989586621679541555 ~> b6989586621679541553) ~> (a6989586621679541555 ~> c6989586621679541554)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (b6989586621679541553 ~> c6989586621679541554) ((a6989586621679541555 ~> b6989586621679541553) ~> (a6989586621679541555 ~> c6989586621679541554)) -> Type) (a6989586621679541729 :: b6989586621679541553 ~> c6989586621679541554) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (b6989586621679541553 ~> c6989586621679541554) ((a6989586621679541555 ~> b6989586621679541553) ~> (a6989586621679541555 ~> c6989586621679541554)) -> Type) (a6989586621679541729 :: b6989586621679541553 ~> c6989586621679541554) = a6989586621679541729 .@#@$$ a6989586621679541555 :: TyFun (a6989586621679541555 ~> b6989586621679541553) (a6989586621679541555 ~> c6989586621679541554) -> Type

data (.@#@$$) (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) :: forall a6989586621679541555. (~>) ((~>) a6989586621679541555 b6989586621679541553) ((~>) a6989586621679541555 c6989586621679541554) infixr 9 Source #

Instances

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 (a6989586621679541729 .@#@$$ a6989586621679541555 :: TyFun (a6989586621679541555 ~> b6989586621679541553) (a6989586621679541555 ~> c6989586621679541554) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679541729 .@#@$$ a6989586621679541555 :: TyFun (a6989586621679541555 ~> b6989586621679541553) (a6989586621679541555 ~> c6989586621679541554) -> Type) (a6989586621679541730 :: a6989586621679541555 ~> b6989586621679541553) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679541729 .@#@$$ a6989586621679541555 :: TyFun (a6989586621679541555 ~> b6989586621679541553) (a6989586621679541555 ~> c6989586621679541554) -> Type) (a6989586621679541730 :: a6989586621679541555 ~> b6989586621679541553) = a6989586621679541729 .@#@$$$ a6989586621679541730

data (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) .@#@$$$ (a6989586621679541730 :: (~>) a6989586621679541555 b6989586621679541553) :: (~>) a6989586621679541555 c6989586621679541554 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 (a6989586621679541730 .@#@$$$ a6989586621679541729 :: TyFun a6989586621679541555 c6989586621679541554 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679541730 .@#@$$$ a6989586621679541729 :: TyFun a c -> Type) (a6989586621679541731 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679541730 .@#@$$$ a6989586621679541729 :: TyFun a c -> Type) (a6989586621679541731 :: a) = (a6989586621679541730 . a6989586621679541729) a6989586621679541731

type (.@#@$$$$) (a6989586621679541729 :: (~>) b6989586621679541553 c6989586621679541554) (a6989586621679541730 :: (~>) a6989586621679541555 b6989586621679541553) (a6989586621679541731 :: a6989586621679541555) = (.) a6989586621679541729 a6989586621679541730 a6989586621679541731 Source #

data ($@#@$) :: forall a6989586621679541547 b6989586621679541548. (~>) ((~>) a6989586621679541547 b6989586621679541548) ((~>) a6989586621679541547 b6989586621679541548) infixr 0 Source #

Instances

Instances details
SingI (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679541547 ~> b6989586621679541548) (a6989586621679541547 ~> b6989586621679541548) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (a6989586621679541547 ~> b6989586621679541548) (a6989586621679541547 ~> b6989586621679541548) -> Type) (a6989586621679541704 :: a6989586621679541547 ~> b6989586621679541548) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (a6989586621679541547 ~> b6989586621679541548) (a6989586621679541547 ~> b6989586621679541548) -> Type) (a6989586621679541704 :: a6989586621679541547 ~> b6989586621679541548) = ($@#@$$) a6989586621679541704

data ($@#@$$) (a6989586621679541704 :: (~>) a6989586621679541547 b6989586621679541548) :: (~>) a6989586621679541547 b6989586621679541548 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 (($@#@$$) a6989586621679541704 :: TyFun a6989586621679541547 b6989586621679541548 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$$) a6989586621679541704 :: TyFun a b -> Type) (a6989586621679541705 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$$) a6989586621679541704 :: TyFun a b -> Type) (a6989586621679541705 :: a) = a6989586621679541704 $ a6989586621679541705

type ($@#@$$$) (a6989586621679541704 :: (~>) a6989586621679541547 b6989586621679541548) (a6989586621679541705 :: a6989586621679541547) = ($) a6989586621679541704 a6989586621679541705 Source #

data ($!@#@$) :: forall a6989586621679541545 b6989586621679541546. (~>) ((~>) a6989586621679541545 b6989586621679541546) ((~>) a6989586621679541545 b6989586621679541546) infixr 0 Source #

Instances

Instances details
SingI (($!@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (($!@#@$) :: TyFun (a6989586621679541545 ~> b6989586621679541546) (a6989586621679541545 ~> b6989586621679541546) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (a6989586621679541545 ~> b6989586621679541546) (a6989586621679541545 ~> b6989586621679541546) -> Type) (a6989586621679541695 :: a6989586621679541545 ~> b6989586621679541546) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (a6989586621679541545 ~> b6989586621679541546) (a6989586621679541545 ~> b6989586621679541546) -> Type) (a6989586621679541695 :: a6989586621679541545 ~> b6989586621679541546) = ($!@#@$$) a6989586621679541695

data ($!@#@$$) (a6989586621679541695 :: (~>) a6989586621679541545 b6989586621679541546) :: (~>) a6989586621679541545 b6989586621679541546 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 (($!@#@$$) a6989586621679541695 :: TyFun a6989586621679541545 b6989586621679541546 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$$) a6989586621679541695 :: TyFun a b -> Type) (a6989586621679541696 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$$) a6989586621679541695 :: TyFun a b -> Type) (a6989586621679541696 :: a) = a6989586621679541695 $! a6989586621679541696

type ($!@#@$$$) (a6989586621679541695 :: (~>) a6989586621679541545 b6989586621679541546) (a6989586621679541696 :: a6989586621679541545) = ($!) a6989586621679541695 a6989586621679541696 Source #

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

Instances

Instances details
SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679541544 ~> Bool) ((a6989586621679541544 ~> a6989586621679541544) ~> (a6989586621679541544 ~> a6989586621679541544)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym0 :: TyFun (a6989586621679541544 ~> Bool) ((a6989586621679541544 ~> a6989586621679541544) ~> (a6989586621679541544 ~> a6989586621679541544)) -> Type) (a6989586621679541669 :: a6989586621679541544 ~> Bool) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym0 :: TyFun (a6989586621679541544 ~> Bool) ((a6989586621679541544 ~> a6989586621679541544) ~> (a6989586621679541544 ~> a6989586621679541544)) -> Type) (a6989586621679541669 :: a6989586621679541544 ~> Bool) = UntilSym1 a6989586621679541669

data UntilSym1 (a6989586621679541669 :: (~>) a6989586621679541544 Bool) :: (~>) ((~>) a6989586621679541544 a6989586621679541544) ((~>) a6989586621679541544 a6989586621679541544) 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 a6989586621679541669 :: TyFun (a6989586621679541544 ~> a6989586621679541544) (a6989586621679541544 ~> a6989586621679541544) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym1 a6989586621679541669 :: TyFun (a6989586621679541544 ~> a6989586621679541544) (a6989586621679541544 ~> a6989586621679541544) -> Type) (a6989586621679541670 :: a6989586621679541544 ~> a6989586621679541544) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym1 a6989586621679541669 :: TyFun (a6989586621679541544 ~> a6989586621679541544) (a6989586621679541544 ~> a6989586621679541544) -> Type) (a6989586621679541670 :: a6989586621679541544 ~> a6989586621679541544) = UntilSym2 a6989586621679541669 a6989586621679541670

data UntilSym2 (a6989586621679541669 :: (~>) a6989586621679541544 Bool) (a6989586621679541670 :: (~>) a6989586621679541544 a6989586621679541544) :: (~>) a6989586621679541544 a6989586621679541544 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 a6989586621679541670 a6989586621679541669 :: TyFun a6989586621679541544 a6989586621679541544 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym2 a6989586621679541670 a6989586621679541669 :: TyFun a a -> Type) (a6989586621679541671 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym2 a6989586621679541670 a6989586621679541669 :: TyFun a a -> Type) (a6989586621679541671 :: a) = Until a6989586621679541670 a6989586621679541669 a6989586621679541671

type UntilSym3 (a6989586621679541669 :: (~>) a6989586621679541544 Bool) (a6989586621679541670 :: (~>) a6989586621679541544 a6989586621679541544) (a6989586621679541671 :: a6989586621679541544) = Until a6989586621679541669 a6989586621679541670 a6989586621679541671 Source #

data FlipSym0 :: forall a6989586621679541550 b6989586621679541551 c6989586621679541552. (~>) ((~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) ((~>) b6989586621679541551 ((~>) a6989586621679541550 c6989586621679541552)) Source #

Instances

Instances details
SingI (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) (b6989586621679541551 ~> (a6989586621679541550 ~> c6989586621679541552)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) (b6989586621679541551 ~> (a6989586621679541550 ~> c6989586621679541552)) -> Type) (a6989586621679541720 :: a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) (b6989586621679541551 ~> (a6989586621679541550 ~> c6989586621679541552)) -> Type) (a6989586621679541720 :: a6989586621679541550 ~> (b6989586621679541551 ~> c6989586621679541552)) = FlipSym1 a6989586621679541720

data FlipSym1 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) :: (~>) b6989586621679541551 ((~>) a6989586621679541550 c6989586621679541552) Source #

Instances

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 a6989586621679541720 :: TyFun b6989586621679541551 (a6989586621679541550 ~> c6989586621679541552) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 a6989586621679541720 :: TyFun b6989586621679541551 (a6989586621679541550 ~> c6989586621679541552) -> Type) (a6989586621679541721 :: b6989586621679541551) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 a6989586621679541720 :: TyFun b6989586621679541551 (a6989586621679541550 ~> c6989586621679541552) -> Type) (a6989586621679541721 :: b6989586621679541551) = FlipSym2 a6989586621679541720 a6989586621679541721

data FlipSym2 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) (a6989586621679541721 :: b6989586621679541551) :: (~>) a6989586621679541550 c6989586621679541552 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 a6989586621679541721 a6989586621679541720 :: TyFun a6989586621679541550 c6989586621679541552 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym2 a6989586621679541721 a6989586621679541720 :: TyFun a c -> Type) (a6989586621679541722 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym2 a6989586621679541721 a6989586621679541720 :: TyFun a c -> Type) (a6989586621679541722 :: a) = Flip a6989586621679541721 a6989586621679541720 a6989586621679541722

type FlipSym3 (a6989586621679541720 :: (~>) a6989586621679541550 ((~>) b6989586621679541551 c6989586621679541552)) (a6989586621679541721 :: b6989586621679541551) (a6989586621679541722 :: a6989586621679541550) = Flip a6989586621679541720 a6989586621679541721 a6989586621679541722 Source #

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

Instances

Instances details
SingI (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679541549 (a6989586621679541549 ~> a6989586621679541549) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a6989586621679541549 (a6989586621679541549 ~> a6989586621679541549) -> Type) (a6989586621679541714 :: a6989586621679541549) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a6989586621679541549 (a6989586621679541549 ~> a6989586621679541549) -> Type) (a6989586621679541714 :: a6989586621679541549) = AsTypeOfSym1 a6989586621679541714

data AsTypeOfSym1 (a6989586621679541714 :: a6989586621679541549) :: (~>) a6989586621679541549 a6989586621679541549 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 a6989586621679541714 :: TyFun a6989586621679541549 a6989586621679541549 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym1 a6989586621679541714 :: TyFun a a -> Type) (a6989586621679541715 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym1 a6989586621679541714 :: TyFun a a -> Type) (a6989586621679541715 :: a) = AsTypeOf a6989586621679541714 a6989586621679541715

type AsTypeOfSym2 (a6989586621679541714 :: a6989586621679541549) (a6989586621679541715 :: a6989586621679541549) = AsTypeOf a6989586621679541714 a6989586621679541715 Source #

data SeqSym0 :: forall a6989586621679541542 b6989586621679541543. (~>) a6989586621679541542 ((~>) b6989586621679541543 b6989586621679541543) infixr 0 Source #

Instances

Instances details
SingI (SeqSym0 :: TyFun a (b ~> b) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679541542 (b6989586621679541543 ~> b6989586621679541543) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679541542 (b6989586621679541543 ~> b6989586621679541543) -> Type) (a6989586621679541664 :: a6989586621679541542) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679541542 (b6989586621679541543 ~> b6989586621679541543) -> Type) (a6989586621679541664 :: a6989586621679541542) = SeqSym1 a6989586621679541664 b6989586621679541543 :: TyFun b6989586621679541543 b6989586621679541543 -> Type

data SeqSym1 (a6989586621679541664 :: a6989586621679541542) :: forall b6989586621679541543. (~>) b6989586621679541543 b6989586621679541543 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 a6989586621679541664 b6989586621679541543 :: TyFun b6989586621679541543 b6989586621679541543 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym1 a6989586621679541664 b :: TyFun b b -> Type) (a6989586621679541665 :: b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym1 a6989586621679541664 b :: TyFun b b -> Type) (a6989586621679541665 :: b) = Seq a6989586621679541664 a6989586621679541665

type SeqSym2 (a6989586621679541664 :: a6989586621679541542) (a6989586621679541665 :: b6989586621679541543) = Seq a6989586621679541664 a6989586621679541665 Source #