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 a6989586621679541513 b6989586621679541514. (~>) ((~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) ((~>) b6989586621679541514 ((~>) [a6989586621679541513] b6989586621679541514))
  • data FoldrSym1 (a6989586621679541722 :: (~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) :: (~>) b6989586621679541514 ((~>) [a6989586621679541513] b6989586621679541514)
  • data FoldrSym2 (a6989586621679541722 :: (~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) (a6989586621679541723 :: b6989586621679541514) :: (~>) [a6989586621679541513] b6989586621679541514
  • type FoldrSym3 (a6989586621679541722 :: (~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) (a6989586621679541723 :: b6989586621679541514) (a6989586621679541724 :: [a6989586621679541513]) = Foldr a6989586621679541722 a6989586621679541723 a6989586621679541724
  • data MapSym0 :: forall a6989586621679541511 b6989586621679541512. (~>) ((~>) a6989586621679541511 b6989586621679541512) ((~>) [a6989586621679541511] [b6989586621679541512])
  • data MapSym1 (a6989586621679541715 :: (~>) a6989586621679541511 b6989586621679541512) :: (~>) [a6989586621679541511] [b6989586621679541512]
  • type MapSym2 (a6989586621679541715 :: (~>) a6989586621679541511 b6989586621679541512) (a6989586621679541716 :: [a6989586621679541511]) = Map a6989586621679541715 a6989586621679541716
  • data (++@#@$) :: forall a6989586621679541510. (~>) [a6989586621679541510] ((~>) [a6989586621679541510] [a6989586621679541510])
  • data (++@#@$$) (a6989586621679541707 :: [a6989586621679541510]) :: (~>) [a6989586621679541510] [a6989586621679541510]
  • type (++@#@$$$) (a6989586621679541707 :: [a6989586621679541510]) (a6989586621679541708 :: [a6989586621679541510]) = (++) a6989586621679541707 a6989586621679541708
  • type OtherwiseSym0 = Otherwise
  • data IdSym0 :: forall a6989586621679541509. (~>) a6989586621679541509 a6989586621679541509
  • type IdSym1 (a6989586621679541704 :: a6989586621679541509) = Id a6989586621679541704
  • data ConstSym0 :: forall a6989586621679541507 b6989586621679541508. (~>) a6989586621679541507 ((~>) b6989586621679541508 a6989586621679541507)
  • data ConstSym1 (a6989586621679541699 :: a6989586621679541507) :: forall b6989586621679541508. (~>) b6989586621679541508 a6989586621679541507
  • type ConstSym2 (a6989586621679541699 :: a6989586621679541507) (a6989586621679541700 :: b6989586621679541508) = Const a6989586621679541699 a6989586621679541700
  • data (.@#@$) :: forall b6989586621679541504 c6989586621679541505 a6989586621679541506. (~>) ((~>) b6989586621679541504 c6989586621679541505) ((~>) ((~>) a6989586621679541506 b6989586621679541504) ((~>) a6989586621679541506 c6989586621679541505))
  • data (.@#@$$) (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) :: forall a6989586621679541506. (~>) ((~>) a6989586621679541506 b6989586621679541504) ((~>) a6989586621679541506 c6989586621679541505)
  • data (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) .@#@$$$ (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) :: (~>) a6989586621679541506 c6989586621679541505
  • type (.@#@$$$$) (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) (a6989586621679541682 :: a6989586621679541506) = (.) a6989586621679541680 a6989586621679541681 a6989586621679541682
  • data ($@#@$) :: forall a6989586621679541498 b6989586621679541499. (~>) ((~>) a6989586621679541498 b6989586621679541499) ((~>) a6989586621679541498 b6989586621679541499)
  • data ($@#@$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) :: (~>) a6989586621679541498 b6989586621679541499
  • type ($@#@$$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) (a6989586621679541656 :: a6989586621679541498) = ($) a6989586621679541655 a6989586621679541656
  • data ($!@#@$) :: forall a6989586621679541496 b6989586621679541497. (~>) ((~>) a6989586621679541496 b6989586621679541497) ((~>) a6989586621679541496 b6989586621679541497)
  • data ($!@#@$$) (a6989586621679541646 :: (~>) a6989586621679541496 b6989586621679541497) :: (~>) a6989586621679541496 b6989586621679541497
  • type ($!@#@$$$) (a6989586621679541646 :: (~>) a6989586621679541496 b6989586621679541497) (a6989586621679541647 :: a6989586621679541496) = ($!) a6989586621679541646 a6989586621679541647
  • data UntilSym0 :: forall a6989586621679541495. (~>) ((~>) a6989586621679541495 Bool) ((~>) ((~>) a6989586621679541495 a6989586621679541495) ((~>) a6989586621679541495 a6989586621679541495))
  • data UntilSym1 (a6989586621679541620 :: (~>) a6989586621679541495 Bool) :: (~>) ((~>) a6989586621679541495 a6989586621679541495) ((~>) a6989586621679541495 a6989586621679541495)
  • data UntilSym2 (a6989586621679541620 :: (~>) a6989586621679541495 Bool) (a6989586621679541621 :: (~>) a6989586621679541495 a6989586621679541495) :: (~>) a6989586621679541495 a6989586621679541495
  • type UntilSym3 (a6989586621679541620 :: (~>) a6989586621679541495 Bool) (a6989586621679541621 :: (~>) a6989586621679541495 a6989586621679541495) (a6989586621679541622 :: a6989586621679541495) = Until a6989586621679541620 a6989586621679541621 a6989586621679541622
  • data FlipSym0 :: forall a6989586621679541501 b6989586621679541502 c6989586621679541503. (~>) ((~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) ((~>) b6989586621679541502 ((~>) a6989586621679541501 c6989586621679541503))
  • data FlipSym1 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) :: (~>) b6989586621679541502 ((~>) a6989586621679541501 c6989586621679541503)
  • data FlipSym2 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) :: (~>) a6989586621679541501 c6989586621679541503
  • type FlipSym3 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) (a6989586621679541673 :: a6989586621679541501) = Flip a6989586621679541671 a6989586621679541672 a6989586621679541673
  • data AsTypeOfSym0 :: forall a6989586621679541500. (~>) a6989586621679541500 ((~>) a6989586621679541500 a6989586621679541500)
  • data AsTypeOfSym1 (a6989586621679541665 :: a6989586621679541500) :: (~>) a6989586621679541500 a6989586621679541500
  • type AsTypeOfSym2 (a6989586621679541665 :: a6989586621679541500) (a6989586621679541666 :: a6989586621679541500) = AsTypeOf a6989586621679541665 a6989586621679541666
  • data SeqSym0 :: forall a6989586621679541493 b6989586621679541494. (~>) a6989586621679541493 ((~>) b6989586621679541494 b6989586621679541494)
  • data SeqSym1 (a6989586621679541615 :: a6989586621679541493) :: forall b6989586621679541494. (~>) b6989586621679541494 b6989586621679541494
  • type SeqSym2 (a6989586621679541615 :: a6989586621679541493) (a6989586621679541616 :: b6989586621679541494) = Seq a6989586621679541615 a6989586621679541616

Basic functions

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

Equations

Foldr k z a_6989586621679541728 = Apply (Let6989586621679541733GoSym3 k z a_6989586621679541728) a_6989586621679541728 

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_6989586621679541686 = Apply (Apply (Apply (Apply Lambda_6989586621679541691Sym0 f) g) a_6989586621679541686) a_6989586621679541686 

(%.) :: 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 (Let6989586621679541652VxSym2 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_6989586621679541626 = Apply (Let6989586621679541631GoSym3 p f a_6989586621679541626) a_6989586621679541626 

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_6989586621679541661 a_6989586621679541663 = Apply (Apply ConstSym0 a_6989586621679541661) a_6989586621679541663 

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 a6989586621679541513 b6989586621679541514. (~>) ((~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) ((~>) b6989586621679541514 ((~>) [a6989586621679541513] b6989586621679541514)) 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 (a6989586621679541513 ~> (b6989586621679541514 ~> b6989586621679541514)) (b6989586621679541514 ~> ([a6989586621679541513] ~> b6989586621679541514)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (a6989586621679541513 ~> (b6989586621679541514 ~> b6989586621679541514)) (b6989586621679541514 ~> ([a6989586621679541513] ~> b6989586621679541514)) -> Type) (a6989586621679541722 :: a6989586621679541513 ~> (b6989586621679541514 ~> b6989586621679541514)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (a6989586621679541513 ~> (b6989586621679541514 ~> b6989586621679541514)) (b6989586621679541514 ~> ([a6989586621679541513] ~> b6989586621679541514)) -> Type) (a6989586621679541722 :: a6989586621679541513 ~> (b6989586621679541514 ~> b6989586621679541514)) = FoldrSym1 a6989586621679541722

data FoldrSym1 (a6989586621679541722 :: (~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) :: (~>) b6989586621679541514 ((~>) [a6989586621679541513] b6989586621679541514) 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 a6989586621679541722 :: TyFun b6989586621679541514 ([a6989586621679541513] ~> b6989586621679541514) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 a6989586621679541722 :: TyFun b6989586621679541514 ([a6989586621679541513] ~> b6989586621679541514) -> Type) (a6989586621679541723 :: b6989586621679541514) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 a6989586621679541722 :: TyFun b6989586621679541514 ([a6989586621679541513] ~> b6989586621679541514) -> Type) (a6989586621679541723 :: b6989586621679541514) = FoldrSym2 a6989586621679541722 a6989586621679541723

data FoldrSym2 (a6989586621679541722 :: (~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) (a6989586621679541723 :: b6989586621679541514) :: (~>) [a6989586621679541513] b6989586621679541514 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 a6989586621679541723 a6989586621679541722 :: TyFun [a6989586621679541513] b6989586621679541514 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym2 a6989586621679541723 a6989586621679541722 :: TyFun [a] b -> Type) (a6989586621679541724 :: [a]) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym2 a6989586621679541723 a6989586621679541722 :: TyFun [a] b -> Type) (a6989586621679541724 :: [a]) = Foldr a6989586621679541723 a6989586621679541722 a6989586621679541724

type FoldrSym3 (a6989586621679541722 :: (~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) (a6989586621679541723 :: b6989586621679541514) (a6989586621679541724 :: [a6989586621679541513]) = Foldr a6989586621679541722 a6989586621679541723 a6989586621679541724 Source #

data MapSym0 :: forall a6989586621679541511 b6989586621679541512. (~>) ((~>) a6989586621679541511 b6989586621679541512) ((~>) [a6989586621679541511] [b6989586621679541512]) Source #

Instances

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (a6989586621679541511 ~> b6989586621679541512) ([a6989586621679541511] ~> [b6989586621679541512]) -> Type) (a6989586621679541715 :: a6989586621679541511 ~> b6989586621679541512) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (a6989586621679541511 ~> b6989586621679541512) ([a6989586621679541511] ~> [b6989586621679541512]) -> Type) (a6989586621679541715 :: a6989586621679541511 ~> b6989586621679541512) = MapSym1 a6989586621679541715

data MapSym1 (a6989586621679541715 :: (~>) a6989586621679541511 b6989586621679541512) :: (~>) [a6989586621679541511] [b6989586621679541512] 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 a6989586621679541715 :: TyFun [a6989586621679541511] [b6989586621679541512] -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type MapSym2 (a6989586621679541715 :: (~>) a6989586621679541511 b6989586621679541512) (a6989586621679541716 :: [a6989586621679541511]) = Map a6989586621679541715 a6989586621679541716 Source #

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

Instances

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type (++@#@$$$) (a6989586621679541707 :: [a6989586621679541510]) (a6989586621679541708 :: [a6989586621679541510]) = (++) a6989586621679541707 a6989586621679541708 Source #

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type IdSym1 (a6989586621679541704 :: a6989586621679541509) = Id a6989586621679541704 Source #

data ConstSym0 :: forall a6989586621679541507 b6989586621679541508. (~>) a6989586621679541507 ((~>) b6989586621679541508 a6989586621679541507) Source #

Instances

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

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679541507 (b6989586621679541508 ~> a6989586621679541507) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679541507 (b6989586621679541508 ~> a6989586621679541507) -> Type) (a6989586621679541699 :: a6989586621679541507) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a6989586621679541507 (b6989586621679541508 ~> a6989586621679541507) -> Type) (a6989586621679541699 :: a6989586621679541507) = ConstSym1 a6989586621679541699 b6989586621679541508 :: TyFun b6989586621679541508 a6989586621679541507 -> Type

data ConstSym1 (a6989586621679541699 :: a6989586621679541507) :: forall b6989586621679541508. (~>) b6989586621679541508 a6989586621679541507 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 a6989586621679541699 b6989586621679541508 :: TyFun b6989586621679541508 a6989586621679541507 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym1 a6989586621679541699 b :: TyFun b a -> Type) (a6989586621679541700 :: b) = Const a6989586621679541699 a6989586621679541700

type ConstSym2 (a6989586621679541699 :: a6989586621679541507) (a6989586621679541700 :: b6989586621679541508) = Const a6989586621679541699 a6989586621679541700 Source #

data (.@#@$) :: forall b6989586621679541504 c6989586621679541505 a6989586621679541506. (~>) ((~>) b6989586621679541504 c6989586621679541505) ((~>) ((~>) a6989586621679541506 b6989586621679541504) ((~>) a6989586621679541506 c6989586621679541505)) 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 (b6989586621679541504 ~> c6989586621679541505) ((a6989586621679541506 ~> b6989586621679541504) ~> (a6989586621679541506 ~> c6989586621679541505)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (b6989586621679541504 ~> c6989586621679541505) ((a6989586621679541506 ~> b6989586621679541504) ~> (a6989586621679541506 ~> c6989586621679541505)) -> Type) (a6989586621679541680 :: b6989586621679541504 ~> c6989586621679541505) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (b6989586621679541504 ~> c6989586621679541505) ((a6989586621679541506 ~> b6989586621679541504) ~> (a6989586621679541506 ~> c6989586621679541505)) -> Type) (a6989586621679541680 :: b6989586621679541504 ~> c6989586621679541505) = a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type

data (.@#@$$) (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) :: forall a6989586621679541506. (~>) ((~>) a6989586621679541506 b6989586621679541504) ((~>) a6989586621679541506 c6989586621679541505) 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 (a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type) (a6989586621679541681 :: a6989586621679541506 ~> b6989586621679541504) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type) (a6989586621679541681 :: a6989586621679541506 ~> b6989586621679541504) = a6989586621679541680 .@#@$$$ a6989586621679541681

data (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) .@#@$$$ (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) :: (~>) a6989586621679541506 c6989586621679541505 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 (a6989586621679541681 .@#@$$$ a6989586621679541680 :: TyFun a6989586621679541506 c6989586621679541505 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679541681 .@#@$$$ a6989586621679541680 :: TyFun a c -> Type) (a6989586621679541682 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679541681 .@#@$$$ a6989586621679541680 :: TyFun a c -> Type) (a6989586621679541682 :: a) = (a6989586621679541681 . a6989586621679541680) a6989586621679541682

type (.@#@$$$$) (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) (a6989586621679541682 :: a6989586621679541506) = (.) a6989586621679541680 a6989586621679541681 a6989586621679541682 Source #

data ($@#@$) :: forall a6989586621679541498 b6989586621679541499. (~>) ((~>) a6989586621679541498 b6989586621679541499) ((~>) a6989586621679541498 b6989586621679541499) infixr 0 Source #

Instances

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

Defined in Data.Singletons.Prelude.Base

SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679541498 ~> b6989586621679541499) (a6989586621679541498 ~> b6989586621679541499) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (a6989586621679541498 ~> b6989586621679541499) (a6989586621679541498 ~> b6989586621679541499) -> Type) (a6989586621679541655 :: a6989586621679541498 ~> b6989586621679541499) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (a6989586621679541498 ~> b6989586621679541499) (a6989586621679541498 ~> b6989586621679541499) -> Type) (a6989586621679541655 :: a6989586621679541498 ~> b6989586621679541499) = ($@#@$$) a6989586621679541655

data ($@#@$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) :: (~>) a6989586621679541498 b6989586621679541499 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 (($@#@$$) a6989586621679541655 :: TyFun a6989586621679541498 b6989586621679541499 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$$) a6989586621679541655 :: TyFun a b -> Type) (a6989586621679541656 :: a) = a6989586621679541655 $ a6989586621679541656

type ($@#@$$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) (a6989586621679541656 :: a6989586621679541498) = ($) a6989586621679541655 a6989586621679541656 Source #

data ($!@#@$) :: forall a6989586621679541496 b6989586621679541497. (~>) ((~>) a6989586621679541496 b6989586621679541497) ((~>) a6989586621679541496 b6989586621679541497) infixr 0 Source #

Instances

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (a6989586621679541496 ~> b6989586621679541497) (a6989586621679541496 ~> b6989586621679541497) -> Type) (a6989586621679541646 :: a6989586621679541496 ~> b6989586621679541497) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (a6989586621679541496 ~> b6989586621679541497) (a6989586621679541496 ~> b6989586621679541497) -> Type) (a6989586621679541646 :: a6989586621679541496 ~> b6989586621679541497) = ($!@#@$$) a6989586621679541646

data ($!@#@$$) (a6989586621679541646 :: (~>) a6989586621679541496 b6989586621679541497) :: (~>) a6989586621679541496 b6989586621679541497 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 (($!@#@$$) a6989586621679541646 :: TyFun a6989586621679541496 b6989586621679541497 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

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

type ($!@#@$$$) (a6989586621679541646 :: (~>) a6989586621679541496 b6989586621679541497) (a6989586621679541647 :: a6989586621679541496) = ($!) a6989586621679541646 a6989586621679541647 Source #

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym0 :: TyFun (a6989586621679541495 ~> Bool) ((a6989586621679541495 ~> a6989586621679541495) ~> (a6989586621679541495 ~> a6989586621679541495)) -> Type) (a6989586621679541620 :: a6989586621679541495 ~> Bool) = UntilSym1 a6989586621679541620

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

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym1 a6989586621679541620 :: TyFun (a6989586621679541495 ~> a6989586621679541495) (a6989586621679541495 ~> a6989586621679541495) -> Type) (a6989586621679541621 :: a6989586621679541495 ~> a6989586621679541495) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym1 a6989586621679541620 :: TyFun (a6989586621679541495 ~> a6989586621679541495) (a6989586621679541495 ~> a6989586621679541495) -> Type) (a6989586621679541621 :: a6989586621679541495 ~> a6989586621679541495) = UntilSym2 a6989586621679541620 a6989586621679541621

data UntilSym2 (a6989586621679541620 :: (~>) a6989586621679541495 Bool) (a6989586621679541621 :: (~>) a6989586621679541495 a6989586621679541495) :: (~>) a6989586621679541495 a6989586621679541495 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 a6989586621679541621 a6989586621679541620 :: TyFun a6989586621679541495 a6989586621679541495 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym2 a6989586621679541621 a6989586621679541620 :: TyFun a a -> Type) (a6989586621679541622 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym2 a6989586621679541621 a6989586621679541620 :: TyFun a a -> Type) (a6989586621679541622 :: a) = Until a6989586621679541621 a6989586621679541620 a6989586621679541622

type UntilSym3 (a6989586621679541620 :: (~>) a6989586621679541495 Bool) (a6989586621679541621 :: (~>) a6989586621679541495 a6989586621679541495) (a6989586621679541622 :: a6989586621679541495) = Until a6989586621679541620 a6989586621679541621 a6989586621679541622 Source #

data FlipSym0 :: forall a6989586621679541501 b6989586621679541502 c6989586621679541503. (~>) ((~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) ((~>) b6989586621679541502 ((~>) a6989586621679541501 c6989586621679541503)) 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 (a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) (b6989586621679541502 ~> (a6989586621679541501 ~> c6989586621679541503)) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) (b6989586621679541502 ~> (a6989586621679541501 ~> c6989586621679541503)) -> Type) (a6989586621679541671 :: a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) (b6989586621679541502 ~> (a6989586621679541501 ~> c6989586621679541503)) -> Type) (a6989586621679541671 :: a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) = FlipSym1 a6989586621679541671

data FlipSym1 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) :: (~>) b6989586621679541502 ((~>) a6989586621679541501 c6989586621679541503) 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 a6989586621679541671 :: TyFun b6989586621679541502 (a6989586621679541501 ~> c6989586621679541503) -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 a6989586621679541671 :: TyFun b6989586621679541502 (a6989586621679541501 ~> c6989586621679541503) -> Type) (a6989586621679541672 :: b6989586621679541502) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 a6989586621679541671 :: TyFun b6989586621679541502 (a6989586621679541501 ~> c6989586621679541503) -> Type) (a6989586621679541672 :: b6989586621679541502) = FlipSym2 a6989586621679541671 a6989586621679541672

data FlipSym2 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) :: (~>) a6989586621679541501 c6989586621679541503 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 a6989586621679541672 a6989586621679541671 :: TyFun a6989586621679541501 c6989586621679541503 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym2 a6989586621679541672 a6989586621679541671 :: TyFun a c -> Type) (a6989586621679541673 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym2 a6989586621679541672 a6989586621679541671 :: TyFun a c -> Type) (a6989586621679541673 :: a) = Flip a6989586621679541672 a6989586621679541671 a6989586621679541673

type FlipSym3 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) (a6989586621679541673 :: a6989586621679541501) = Flip a6989586621679541671 a6989586621679541672 a6989586621679541673 Source #

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

Instances

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

Defined in Data.Singletons.Prelude.Base

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

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a6989586621679541500 (a6989586621679541500 ~> a6989586621679541500) -> Type) (a6989586621679541665 :: a6989586621679541500) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a6989586621679541500 (a6989586621679541500 ~> a6989586621679541500) -> Type) (a6989586621679541665 :: a6989586621679541500) = AsTypeOfSym1 a6989586621679541665

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

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym1 a6989586621679541665 :: TyFun a a -> Type) (a6989586621679541666 :: a) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym1 a6989586621679541665 :: TyFun a a -> Type) (a6989586621679541666 :: a) = AsTypeOf a6989586621679541665 a6989586621679541666

type AsTypeOfSym2 (a6989586621679541665 :: a6989586621679541500) (a6989586621679541666 :: a6989586621679541500) = AsTypeOf a6989586621679541665 a6989586621679541666 Source #

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

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679541493 (b6989586621679541494 ~> b6989586621679541494) -> Type) (a6989586621679541615 :: a6989586621679541493) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a6989586621679541493 (b6989586621679541494 ~> b6989586621679541494) -> Type) (a6989586621679541615 :: a6989586621679541493) = SeqSym1 a6989586621679541615 b6989586621679541494 :: TyFun b6989586621679541494 b6989586621679541494 -> Type

data SeqSym1 (a6989586621679541615 :: a6989586621679541493) :: forall b6989586621679541494. (~>) b6989586621679541494 b6989586621679541494 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 a6989586621679541615 b6989586621679541494 :: TyFun b6989586621679541494 b6989586621679541494 -> Type) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym1 a6989586621679541615 b :: TyFun b b -> Type) (a6989586621679541616 :: b) Source # 
Instance details

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym1 a6989586621679541615 b :: TyFun b b -> Type) (a6989586621679541616 :: b) = Seq a6989586621679541615 a6989586621679541616

type SeqSym2 (a6989586621679541615 :: a6989586621679541493) (a6989586621679541616 :: b6989586621679541494) = Seq a6989586621679541615 a6989586621679541616 Source #