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
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
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 #
sMap :: forall a b (t :: (~>) a b) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) Source #
(%++) :: forall a (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (++@#@$) t) t :: [a]) infixr 5 Source #
sOtherwise :: Sing (OtherwiseSym0 :: Bool) Source #
sConst :: forall a b (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a) Source #
(%.) :: 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 #
(%$) :: 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 #
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 #
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 #
sAsTypeOf :: forall a (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) Source #
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
SingI (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) Source # | |
SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621679541513 ~> (b6989586621679541514 ~> b6989586621679541514)) (b6989586621679541514 ~> ([a6989586621679541513] ~> b6989586621679541514)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldrSym0 :: TyFun (a6989586621679541513 ~> (b6989586621679541514 ~> b6989586621679541514)) (b6989586621679541514 ~> ([a6989586621679541513] ~> b6989586621679541514)) -> Type) (a6989586621679541722 :: a6989586621679541513 ~> (b6989586621679541514 ~> b6989586621679541514)) Source # | |
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
SingI d => SingI (FoldrSym1 d :: TyFun b ([a] ~> b) -> Type) Source # | |
SuppressUnusedWarnings (FoldrSym1 a6989586621679541722 :: TyFun b6989586621679541514 ([a6989586621679541513] ~> b6989586621679541514) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldrSym1 a6989586621679541722 :: TyFun b6989586621679541514 ([a6989586621679541513] ~> b6989586621679541514) -> Type) (a6989586621679541723 :: b6989586621679541514) Source # | |
data FoldrSym2 (a6989586621679541722 :: (~>) a6989586621679541513 ((~>) b6989586621679541514 b6989586621679541514)) (a6989586621679541723 :: b6989586621679541514) :: (~>) [a6989586621679541513] b6989586621679541514 Source #
Instances
(SingI d1, SingI d2) => SingI (FoldrSym2 d1 d2 :: TyFun [a] b -> Type) Source # | |
SuppressUnusedWarnings (FoldrSym2 a6989586621679541723 a6989586621679541722 :: TyFun [a6989586621679541513] b6989586621679541514 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldrSym2 a6989586621679541723 a6989586621679541722 :: TyFun [a] b -> Type) (a6989586621679541724 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Base |
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
SingI (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) Source # | |
SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621679541511 ~> b6989586621679541512) ([a6989586621679541511] ~> [b6989586621679541512]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym0 :: TyFun (a6989586621679541511 ~> b6989586621679541512) ([a6989586621679541511] ~> [b6989586621679541512]) -> Type) (a6989586621679541715 :: a6989586621679541511 ~> b6989586621679541512) Source # | |
data MapSym1 (a6989586621679541715 :: (~>) a6989586621679541511 b6989586621679541512) :: (~>) [a6989586621679541511] [b6989586621679541512] Source #
Instances
SingI d => SingI (MapSym1 d :: TyFun [a] [b] -> Type) Source # | |
SuppressUnusedWarnings (MapSym1 a6989586621679541715 :: TyFun [a6989586621679541511] [b6989586621679541512] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym1 a6989586621679541715 :: TyFun [a] [b] -> Type) (a6989586621679541716 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Base |
type MapSym2 (a6989586621679541715 :: (~>) a6989586621679541511 b6989586621679541512) (a6989586621679541716 :: [a6989586621679541511]) = Map a6989586621679541715 a6989586621679541716 Source #
data (++@#@$) :: forall a6989586621679541510. (~>) [a6989586621679541510] ((~>) [a6989586621679541510] [a6989586621679541510]) infixr 5 Source #
Instances
SingI ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type) Source # | |
SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679541510] ([a6989586621679541510] ~> [a6989586621679541510]) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((++@#@$) :: TyFun [a6989586621679541510] ([a6989586621679541510] ~> [a6989586621679541510]) -> Type) (a6989586621679541707 :: [a6989586621679541510]) Source # | |
data (++@#@$$) (a6989586621679541707 :: [a6989586621679541510]) :: (~>) [a6989586621679541510] [a6989586621679541510] infixr 5 Source #
Instances
SingI d => SingI ((++@#@$$) d :: TyFun [a] [a] -> Type) Source # | |
SuppressUnusedWarnings ((++@#@$$) a6989586621679541707 :: TyFun [a6989586621679541510] [a6989586621679541510] -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((++@#@$$) a6989586621679541707 :: TyFun [a] [a] -> Type) (a6989586621679541708 :: [a]) Source # | |
Defined in Data.Singletons.Prelude.Base |
type (++@#@$$$) (a6989586621679541707 :: [a6989586621679541510]) (a6989586621679541708 :: [a6989586621679541510]) = (++) a6989586621679541707 a6989586621679541708 Source #
type OtherwiseSym0 = Otherwise Source #
data IdSym0 :: forall a6989586621679541509. (~>) a6989586621679541509 a6989586621679541509 Source #
Instances
SingI (IdSym0 :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679541509 a6989586621679541509 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679541704 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
data ConstSym0 :: forall a6989586621679541507 b6989586621679541508. (~>) a6989586621679541507 ((~>) b6989586621679541508 a6989586621679541507) Source #
Instances
SingI (ConstSym0 :: TyFun a (b ~> a) -> Type) Source # | |
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679541507 (b6989586621679541508 ~> a6989586621679541507) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym0 :: TyFun a6989586621679541507 (b6989586621679541508 ~> a6989586621679541507) -> Type) (a6989586621679541699 :: a6989586621679541507) Source # | |
Defined in Data.Singletons.Prelude.Base |
data ConstSym1 (a6989586621679541699 :: a6989586621679541507) :: forall b6989586621679541508. (~>) b6989586621679541508 a6989586621679541507 Source #
Instances
SingI d => SingI (ConstSym1 d b :: TyFun b a -> Type) Source # | |
SuppressUnusedWarnings (ConstSym1 a6989586621679541699 b6989586621679541508 :: TyFun b6989586621679541508 a6989586621679541507 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym1 a6989586621679541699 b :: TyFun b a -> Type) (a6989586621679541700 :: b) Source # | |
Defined in Data.Singletons.Prelude.Base |
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
SingI ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) Source # | |
SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679541504 ~> c6989586621679541505) ((a6989586621679541506 ~> b6989586621679541504) ~> (a6989586621679541506 ~> c6989586621679541505)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((.@#@$) :: TyFun (b6989586621679541504 ~> c6989586621679541505) ((a6989586621679541506 ~> b6989586621679541504) ~> (a6989586621679541506 ~> c6989586621679541505)) -> Type) (a6989586621679541680 :: b6989586621679541504 ~> c6989586621679541505) Source # | |
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
SingI d => SingI (d .@#@$$ a :: TyFun (a ~> b) (a ~> c) -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679541680 .@#@$$ a6989586621679541506 :: TyFun (a6989586621679541506 ~> b6989586621679541504) (a6989586621679541506 ~> c6989586621679541505) -> Type) (a6989586621679541681 :: a6989586621679541506 ~> b6989586621679541504) Source # | |
Defined in Data.Singletons.Prelude.Base |
data (a6989586621679541680 :: (~>) b6989586621679541504 c6989586621679541505) .@#@$$$ (a6989586621679541681 :: (~>) a6989586621679541506 b6989586621679541504) :: (~>) a6989586621679541506 c6989586621679541505 infixr 9 Source #
Instances
(SingI d1, SingI d2) => SingI (d1 .@#@$$$ d2 :: TyFun a c -> Type) Source # | |
SuppressUnusedWarnings (a6989586621679541681 .@#@$$$ a6989586621679541680 :: TyFun a6989586621679541506 c6989586621679541505 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (a6989586621679541681 .@#@$$$ a6989586621679541680 :: TyFun a c -> Type) (a6989586621679541682 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
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
SingI (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source # | |
SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679541498 ~> b6989586621679541499) (a6989586621679541498 ~> b6989586621679541499) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$) :: TyFun (a6989586621679541498 ~> b6989586621679541499) (a6989586621679541498 ~> b6989586621679541499) -> Type) (a6989586621679541655 :: a6989586621679541498 ~> b6989586621679541499) Source # | |
data ($@#@$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) :: (~>) a6989586621679541498 b6989586621679541499 infixr 0 Source #
Instances
SingI d => SingI (($@#@$$) d :: TyFun a b -> Type) Source # | |
SuppressUnusedWarnings (($@#@$$) a6989586621679541655 :: TyFun a6989586621679541498 b6989586621679541499 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$$) a6989586621679541655 :: TyFun a b -> Type) (a6989586621679541656 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type ($@#@$$$) (a6989586621679541655 :: (~>) a6989586621679541498 b6989586621679541499) (a6989586621679541656 :: a6989586621679541498) = ($) a6989586621679541655 a6989586621679541656 Source #
data ($!@#@$) :: forall a6989586621679541496 b6989586621679541497. (~>) ((~>) a6989586621679541496 b6989586621679541497) ((~>) a6989586621679541496 b6989586621679541497) infixr 0 Source #
Instances
SingI (($!@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source # | |
SuppressUnusedWarnings (($!@#@$) :: TyFun (a6989586621679541496 ~> b6989586621679541497) (a6989586621679541496 ~> b6989586621679541497) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($!@#@$) :: TyFun (a6989586621679541496 ~> b6989586621679541497) (a6989586621679541496 ~> b6989586621679541497) -> Type) (a6989586621679541646 :: a6989586621679541496 ~> b6989586621679541497) Source # | |
data ($!@#@$$) (a6989586621679541646 :: (~>) a6989586621679541496 b6989586621679541497) :: (~>) a6989586621679541496 b6989586621679541497 infixr 0 Source #
Instances
SingI d => SingI (($!@#@$$) d :: TyFun a b -> Type) Source # | |
SuppressUnusedWarnings (($!@#@$$) a6989586621679541646 :: TyFun a6989586621679541496 b6989586621679541497 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($!@#@$$) a6989586621679541646 :: TyFun a b -> Type) (a6989586621679541647 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type ($!@#@$$$) (a6989586621679541646 :: (~>) a6989586621679541496 b6989586621679541497) (a6989586621679541647 :: a6989586621679541496) = ($!) a6989586621679541646 a6989586621679541647 Source #
data UntilSym0 :: forall a6989586621679541495. (~>) ((~>) a6989586621679541495 Bool) ((~>) ((~>) a6989586621679541495 a6989586621679541495) ((~>) a6989586621679541495 a6989586621679541495)) Source #
Instances
SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) Source # | |
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679541495 ~> Bool) ((a6989586621679541495 ~> a6989586621679541495) ~> (a6989586621679541495 ~> a6989586621679541495)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (UntilSym0 :: TyFun (a6989586621679541495 ~> Bool) ((a6989586621679541495 ~> a6989586621679541495) ~> (a6989586621679541495 ~> a6989586621679541495)) -> Type) (a6989586621679541620 :: a6989586621679541495 ~> Bool) Source # | |
data UntilSym1 (a6989586621679541620 :: (~>) a6989586621679541495 Bool) :: (~>) ((~>) a6989586621679541495 a6989586621679541495) ((~>) a6989586621679541495 a6989586621679541495) Source #
Instances
SingI d => SingI (UntilSym1 d :: TyFun (a ~> a) (a ~> a) -> Type) Source # | |
SuppressUnusedWarnings (UntilSym1 a6989586621679541620 :: TyFun (a6989586621679541495 ~> a6989586621679541495) (a6989586621679541495 ~> a6989586621679541495) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (UntilSym1 a6989586621679541620 :: TyFun (a6989586621679541495 ~> a6989586621679541495) (a6989586621679541495 ~> a6989586621679541495) -> Type) (a6989586621679541621 :: a6989586621679541495 ~> a6989586621679541495) Source # | |
Defined in Data.Singletons.Prelude.Base |
data UntilSym2 (a6989586621679541620 :: (~>) a6989586621679541495 Bool) (a6989586621679541621 :: (~>) a6989586621679541495 a6989586621679541495) :: (~>) a6989586621679541495 a6989586621679541495 Source #
Instances
(SingI d1, SingI d2) => SingI (UntilSym2 d1 d2 :: TyFun a a -> Type) Source # | |
SuppressUnusedWarnings (UntilSym2 a6989586621679541621 a6989586621679541620 :: TyFun a6989586621679541495 a6989586621679541495 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (UntilSym2 a6989586621679541621 a6989586621679541620 :: TyFun a a -> Type) (a6989586621679541622 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
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
SingI (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) Source # | |
SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) (b6989586621679541502 ~> (a6989586621679541501 ~> c6989586621679541503)) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym0 :: TyFun (a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) (b6989586621679541502 ~> (a6989586621679541501 ~> c6989586621679541503)) -> Type) (a6989586621679541671 :: a6989586621679541501 ~> (b6989586621679541502 ~> c6989586621679541503)) Source # | |
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
SingI d => SingI (FlipSym1 d :: TyFun b (a ~> c) -> Type) Source # | |
SuppressUnusedWarnings (FlipSym1 a6989586621679541671 :: TyFun b6989586621679541502 (a6989586621679541501 ~> c6989586621679541503) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym1 a6989586621679541671 :: TyFun b6989586621679541502 (a6989586621679541501 ~> c6989586621679541503) -> Type) (a6989586621679541672 :: b6989586621679541502) Source # | |
data FlipSym2 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) :: (~>) a6989586621679541501 c6989586621679541503 Source #
Instances
(SingI d1, SingI d2) => SingI (FlipSym2 d1 d2 :: TyFun a c -> Type) Source # | |
SuppressUnusedWarnings (FlipSym2 a6989586621679541672 a6989586621679541671 :: TyFun a6989586621679541501 c6989586621679541503 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym2 a6989586621679541672 a6989586621679541671 :: TyFun a c -> Type) (a6989586621679541673 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type FlipSym3 (a6989586621679541671 :: (~>) a6989586621679541501 ((~>) b6989586621679541502 c6989586621679541503)) (a6989586621679541672 :: b6989586621679541502) (a6989586621679541673 :: a6989586621679541501) = Flip a6989586621679541671 a6989586621679541672 a6989586621679541673 Source #
data AsTypeOfSym0 :: forall a6989586621679541500. (~>) a6989586621679541500 ((~>) a6989586621679541500 a6989586621679541500) Source #
Instances
SingI (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods sing :: Sing AsTypeOfSym0 Source # | |
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679541500 (a6989586621679541500 ~> a6989586621679541500) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (AsTypeOfSym0 :: TyFun a6989586621679541500 (a6989586621679541500 ~> a6989586621679541500) -> Type) (a6989586621679541665 :: a6989586621679541500) Source # | |
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
SingI d => SingI (AsTypeOfSym1 d :: TyFun a a -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (AsTypeOfSym1 d) Source # | |
SuppressUnusedWarnings (AsTypeOfSym1 a6989586621679541665 :: TyFun a6989586621679541500 a6989586621679541500 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (AsTypeOfSym1 a6989586621679541665 :: TyFun a a -> Type) (a6989586621679541666 :: a) Source # | |
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
SingI (SeqSym0 :: TyFun a (b ~> b) -> Type) Source # | |
SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679541493 (b6989586621679541494 ~> b6989586621679541494) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (SeqSym0 :: TyFun a6989586621679541493 (b6989586621679541494 ~> b6989586621679541494) -> Type) (a6989586621679541615 :: a6989586621679541493) Source # | |
Defined in Data.Singletons.Prelude.Base |
data SeqSym1 (a6989586621679541615 :: a6989586621679541493) :: forall b6989586621679541494. (~>) b6989586621679541494 b6989586621679541494 infixr 0 Source #
Instances
SingI d => SingI (SeqSym1 d b :: TyFun b b -> Type) Source # | |
SuppressUnusedWarnings (SeqSym1 a6989586621679541615 b6989586621679541494 :: TyFun b6989586621679541494 b6989586621679541494 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (SeqSym1 a6989586621679541615 b :: TyFun b b -> Type) (a6989586621679541616 :: b) Source # | |
Defined in Data.Singletons.Prelude.Base |