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 :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
- sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b)
- type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ...
- sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b])
- type family (a :: [a]) ++ (a :: [a]) :: [a] where ...
- (%++) :: forall (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 (t :: a). Sing t -> Sing (Apply IdSym0 t :: a)
- type family Const (a :: a) (a :: b) :: a where ...
- sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a)
- type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
- (%.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (.@#@$) t) t) t :: c)
- type family (a :: TyFun a b -> Type) $ (a :: a) :: b where ...
- type family (a :: TyFun a b -> Type) $! (a :: a) :: b where ...
- (%$) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b)
- (%$!) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($!@#@$) t) t :: b)
- type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
- sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (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 (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 (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b)
- data FoldrSym0 (l :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type))
- data FoldrSym1 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type))
- data FoldrSym2 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: b6989586621679422448) (l :: TyFun [a6989586621679422447] b6989586621679422448)
- type FoldrSym3 (t :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (t :: b6989586621679422448) (t :: [a6989586621679422447]) = Foldr t t t
- data MapSym0 (l :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type))
- data MapSym1 (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (l :: TyFun [a6989586621679422445] [b6989586621679422446])
- type MapSym2 (t :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (t :: [a6989586621679422445]) = Map t t
- data (++@#@$) (l :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type))
- data (l :: [a6989586621679422444]) ++@#@$$ (l :: TyFun [a6989586621679422444] [a6989586621679422444])
- type (++@#@$$$) (t :: [a6989586621679422444]) (t :: [a6989586621679422444]) = (++) t t
- type OtherwiseSym0 = Otherwise
- data IdSym0 (l :: TyFun a6989586621679422443 a6989586621679422443)
- type IdSym1 (t :: a6989586621679422443) = Id t
- data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type))
- data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441)
- type ConstSym2 (t :: a6989586621679422441) (t :: b6989586621679422442) = Const t t
- data (.@#@$) (l :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type))
- data (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type))
- data ((l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$$ (l :: TyFun a6989586621679422440 b6989586621679422438 -> Type)) (l :: TyFun a6989586621679422440 c6989586621679422439)
- type (.@#@$$$$) (t :: TyFun b6989586621679422438 c6989586621679422439 -> Type) (t :: TyFun a6989586621679422440 b6989586621679422438 -> Type) (t :: a6989586621679422440) = (:.) t t t
- data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type))
- data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433)
- type ($@#@$$$) (t :: TyFun a6989586621679422432 b6989586621679422433 -> Type) (t :: a6989586621679422432) = ($) t t
- data ($!@#@$) (l :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type))
- data (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) $!@#@$$ (l :: TyFun a6989586621679422430 b6989586621679422431)
- type ($!@#@$$$) (t :: TyFun a6989586621679422430 b6989586621679422431 -> Type) (t :: a6989586621679422430) = ($!) t t
- data FlipSym0 (l :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type))
- data FlipSym1 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type))
- data FlipSym2 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: b6989586621679422436) (l :: TyFun a6989586621679422435 c6989586621679422437)
- type FlipSym3 (t :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (t :: b6989586621679422436) (t :: a6989586621679422435) = Flip t t t
- data AsTypeOfSym0 (l :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type))
- data AsTypeOfSym1 (l :: a6989586621679422434) (l :: TyFun a6989586621679422434 a6989586621679422434)
- type AsTypeOfSym2 (t :: a6989586621679422434) (t :: a6989586621679422434) = AsTypeOf t t
- data SeqSym0 (l :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type))
- data SeqSym1 (l :: a6989586621679422428) (l :: TyFun b6989586621679422429 b6989586621679422429)
- type SeqSym2 (t :: a6989586621679422428) (t :: b6989586621679422429) = Seq t t
Basic functions
type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #
sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) Source #
sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) Source #
(%++) :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (++@#@$) t) t :: [a]) infixr 5 Source #
sOtherwise :: Sing (OtherwiseSym0 :: Bool) Source #
sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a) Source #
(%.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (.@#@$) t) t) t :: c) infixr 9 Source #
(%$) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($@#@$) t) t :: b) infixr 0 Source #
(%$!) :: forall (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply ($!@#@$) t) t :: b) infixr 0 Source #
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... Source #
sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c) Source #
sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) Source #
sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b) infixr 0 Source #
Defunctionalization symbols
data FoldrSym0 (l :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type)) Source #
Instances
SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) = FoldrSym1 l |
data FoldrSym1 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type)) Source #
Instances
SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) -> TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldrSym1 l1 :: TyFun b6989586621679422448 (TyFun [a6989586621679422447] b6989586621679422448 -> Type) -> *) (l2 :: b6989586621679422448) Source # | |
data FoldrSym2 (l :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (l :: b6989586621679422448) (l :: TyFun [a6989586621679422447] b6989586621679422448) Source #
Instances
SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) -> b6989586621679422448 -> TyFun [a6989586621679422447] b6989586621679422448 -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) Source # | |
type FoldrSym3 (t :: TyFun a6989586621679422447 (TyFun b6989586621679422448 b6989586621679422448 -> Type) -> Type) (t :: b6989586621679422448) (t :: [a6989586621679422447]) = Foldr t t t Source #
data MapSym0 (l :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type)) Source #
Instances
SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym0 :: TyFun (TyFun a6989586621679422445 b6989586621679422446 -> Type) (TyFun [a6989586621679422445] [b6989586621679422446] -> Type) -> *) (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) Source # | |
data MapSym1 (l :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (l :: TyFun [a6989586621679422445] [b6989586621679422446]) Source #
Instances
SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679422445 b6989586621679422446 -> Type) -> TyFun [a6989586621679422445] [b6989586621679422446] -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) Source # | |
type MapSym2 (t :: TyFun a6989586621679422445 b6989586621679422446 -> Type) (t :: [a6989586621679422445]) = Map t t Source #
data (++@#@$) (l :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type)) Source #
Instances
SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((++@#@$) :: TyFun [a6989586621679422444] (TyFun [a6989586621679422444] [a6989586621679422444] -> Type) -> *) (l :: [a6989586621679422444]) Source # | |
data (l :: [a6989586621679422444]) ++@#@$$ (l :: TyFun [a6989586621679422444] [a6989586621679422444]) Source #
type (++@#@$$$) (t :: [a6989586621679422444]) (t :: [a6989586621679422444]) = (++) t t Source #
type OtherwiseSym0 = Otherwise Source #
data IdSym0 (l :: TyFun a6989586621679422443 a6989586621679422443) Source #
data ConstSym0 (l :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type)) Source #
Instances
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (ConstSym0 :: TyFun a6989586621679422441 (TyFun b6989586621679422442 a6989586621679422441 -> Type) -> *) (l :: a6989586621679422441) Source # | |
data ConstSym1 (l :: a6989586621679422441) (l :: TyFun b6989586621679422442 a6989586621679422441) Source #
data (.@#@$) (l :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type)) Source #
Instances
SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (TyFun b6989586621679422438 c6989586621679422439 -> Type) (TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> Type) -> *) (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) |
data (l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type)) Source #
Instances
SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679422438 c6989586621679422439 -> Type) -> TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679422440 b6989586621679422438 -> Type) (TyFun a6989586621679422440 c6989586621679422439 -> Type) -> *) (l2 :: TyFun a6989586621679422440 b6989586621679422438 -> Type) Source # | |
data ((l :: TyFun b6989586621679422438 c6989586621679422439 -> Type) .@#@$$$ (l :: TyFun a6989586621679422440 b6989586621679422438 -> Type)) (l :: TyFun a6989586621679422440 c6989586621679422439) Source #
Instances
SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679422438 c6989586621679422439 -> Type) -> (TyFun a6989586621679422440 b6989586621679422438 -> Type) -> TyFun a6989586621679422440 c6989586621679422439 -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) Source # | |
type (.@#@$$$$) (t :: TyFun b6989586621679422438 c6989586621679422439 -> Type) (t :: TyFun a6989586621679422440 b6989586621679422438 -> Type) (t :: a6989586621679422440) = (:.) t t t Source #
data ($@#@$) (l :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type)) Source #
Instances
SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$) :: TyFun (TyFun a6989586621679422432 b6989586621679422433 -> Type) (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> *) (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) Source # | |
data (l :: TyFun a6989586621679422432 b6989586621679422433 -> Type) $@#@$$ (l :: TyFun a6989586621679422432 b6989586621679422433) Source #
Instances
SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679422432 b6989586621679422433 -> Type) -> TyFun a6989586621679422432 b6989586621679422433 -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) Source # | |
type ($@#@$$$) (t :: TyFun a6989586621679422432 b6989586621679422433 -> Type) (t :: a6989586621679422432) = ($) t t Source #
data ($!@#@$) (l :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type)) Source #
Instances
SuppressUnusedWarnings (($!@#@$) :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($!@#@$) :: TyFun (TyFun a6989586621679422430 b6989586621679422431 -> Type) (TyFun a6989586621679422430 b6989586621679422431 -> Type) -> *) (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) Source # | |
data (l :: TyFun a6989586621679422430 b6989586621679422431 -> Type) $!@#@$$ (l :: TyFun a6989586621679422430 b6989586621679422431) Source #
Instances
SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679422430 b6989586621679422431 -> Type) -> TyFun a6989586621679422430 b6989586621679422431 -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) Source # | |
type ($!@#@$$$) (t :: TyFun a6989586621679422430 b6989586621679422431 -> Type) (t :: a6989586621679422430) = ($!) t t Source #
data FlipSym0 (l :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type)) Source #
Instances
SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> Type) -> *) (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) = FlipSym1 l |
data FlipSym1 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type)) Source #
Instances
SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) -> TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym1 l1 :: TyFun b6989586621679422436 (TyFun a6989586621679422435 c6989586621679422437 -> Type) -> *) (l2 :: b6989586621679422436) Source # | |
data FlipSym2 (l :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (l :: b6989586621679422436) (l :: TyFun a6989586621679422435 c6989586621679422437) Source #
Instances
SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) -> b6989586621679422436 -> TyFun a6989586621679422435 c6989586621679422437 -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) Source # | |
type FlipSym3 (t :: TyFun a6989586621679422435 (TyFun b6989586621679422436 c6989586621679422437 -> Type) -> Type) (t :: b6989586621679422436) (t :: a6989586621679422435) = Flip t t t Source #
data AsTypeOfSym0 (l :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type)) Source #
Instances
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (AsTypeOfSym0 :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type) -> *) (l :: a6989586621679422434) Source # | |
Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym0 :: TyFun a6989586621679422434 (TyFun a6989586621679422434 a6989586621679422434 -> Type) -> *) (l :: a6989586621679422434) = AsTypeOfSym1 l |
data AsTypeOfSym1 (l :: a6989586621679422434) (l :: TyFun a6989586621679422434 a6989586621679422434) Source #
Instances
SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679422434 -> TyFun a6989586621679422434 a6989586621679422434 -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) Source # | |
Defined in Data.Singletons.Prelude.Base |
type AsTypeOfSym2 (t :: a6989586621679422434) (t :: a6989586621679422434) = AsTypeOf t t Source #
data SeqSym0 (l :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type)) Source #
Instances
SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> *) Source # | |
Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source # | |
type Apply (SeqSym0 :: TyFun a6989586621679422428 (TyFun b6989586621679422429 b6989586621679422429 -> Type) -> *) (l :: a6989586621679422428) Source # | |
data SeqSym1 (l :: a6989586621679422428) (l :: TyFun b6989586621679422429 b6989586621679422429) Source #