Copyright	(C) 2014 Jan Stolarek
License	BSD-style (see LICENSE)
Maintainer	Jan Stolarek (jan.stolarek@p.lodz.pl)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Singletons.Prelude.Base

Contents

Basic functions
Defunctionalization symbols

Description

Implements singletonized versions of functions from GHC.Base module.

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Please look up the corresponding operation in Data.Tuple. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis

type family Foldr (a :: 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 a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type))
data FoldrSym1 (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (l :: TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type))
data FoldrSym2 (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (l :: b6989586621679436425) (l :: TyFun [a6989586621679436424] b6989586621679436425)
type FoldrSym3 (t :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (t :: b6989586621679436425) (t :: [a6989586621679436424]) = Foldr t t t
data MapSym0 (l :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type))
data MapSym1 (l :: TyFun a6989586621679436422 b6989586621679436423 -> Type) (l :: TyFun [a6989586621679436422] [b6989586621679436423])
type MapSym2 (t :: TyFun a6989586621679436422 b6989586621679436423 -> Type) (t :: [a6989586621679436422]) = Map t t
data (++@#@$) (l :: TyFun [a6989586621679436421] (TyFun [a6989586621679436421] [a6989586621679436421] -> Type))
data (l :: [a6989586621679436421]) ++@#@$$ (l :: TyFun [a6989586621679436421] [a6989586621679436421])
type (++@#@$$$) (t :: [a6989586621679436421]) (t :: [a6989586621679436421]) = (++) t t
type OtherwiseSym0 = Otherwise
data IdSym0 (l :: TyFun a6989586621679436420 a6989586621679436420)
type IdSym1 (t :: a6989586621679436420) = Id t
data ConstSym0 (l :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type))
data ConstSym1 (l :: a6989586621679436418) (l :: TyFun b6989586621679436419 a6989586621679436418)
type ConstSym2 (t :: a6989586621679436418) (t :: b6989586621679436419) = Const t t
data (.@#@$) (l :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type))
data (l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type))
data ((l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) .@#@$$$ (l :: TyFun a6989586621679436417 b6989586621679436415 -> Type)) (l :: TyFun a6989586621679436417 c6989586621679436416)
type (.@#@$$$$) (t :: TyFun b6989586621679436415 c6989586621679436416 -> Type) (t :: TyFun a6989586621679436417 b6989586621679436415 -> Type) (t :: a6989586621679436417) = (:.) t t t
data ($@#@$) (l :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type))
data (l :: TyFun a6989586621679436409 b6989586621679436410 -> Type) $@#@$$ (l :: TyFun a6989586621679436409 b6989586621679436410)
type ($@#@$$$) (t :: TyFun a6989586621679436409 b6989586621679436410 -> Type) (t :: a6989586621679436409) = ($) t t
data ($!@#@$) (l :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type))
data (l :: TyFun a6989586621679436407 b6989586621679436408 -> Type) $!@#@$$ (l :: TyFun a6989586621679436407 b6989586621679436408)
type ($!@#@$$$) (t :: TyFun a6989586621679436407 b6989586621679436408 -> Type) (t :: a6989586621679436407) = ($!) t t
data FlipSym0 (l :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type))
data FlipSym1 (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (l :: TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type))
data FlipSym2 (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (l :: b6989586621679436413) (l :: TyFun a6989586621679436412 c6989586621679436414)
type FlipSym3 (t :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (t :: b6989586621679436413) (t :: a6989586621679436412) = Flip t t t
data AsTypeOfSym0 (l :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type))
data AsTypeOfSym1 (l :: a6989586621679436411) (l :: TyFun a6989586621679436411 a6989586621679436411)
type AsTypeOfSym2 (t :: a6989586621679436411) (t :: a6989586621679436411) = AsTypeOf t t
data SeqSym0 (l :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type))
data SeqSym1 (l :: a6989586621679436405) (l :: TyFun b6989586621679436406 b6989586621679436406)
type SeqSym2 (t :: a6989586621679436405) (t :: b6989586621679436406) = Seq t t

Basic functions

type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... #

Equations

Foldr k z a_6989586621679436689 = Apply (Let6989586621679436694GoSym3 k z a_6989586621679436689) a_6989586621679436689

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 ... #

Equations

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

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 ... #

Equations

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

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

type family Otherwise :: Bool where ... #

Equations

Otherwise = TrueSym0

sOtherwise :: Sing (OtherwiseSym0 :: Bool) #

type family Id (a :: a) :: a where ... #

Equations

Id x = x

sId :: forall (t :: a). Sing t -> Sing (Apply IdSym0 t :: a) #

type family Const (a :: a) (a :: b) :: a where ... #

Equations

Const x _ = x

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 ... #

Equations

(f :. g) a_6989586621679436592 = Apply (Apply (Apply (Apply Lambda_6989586621679436597Sym0 f) g) a_6989586621679436592) a_6989586621679436592

(%.) :: 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 #

type family (a :: TyFun a b -> Type) $ (a :: a) :: b where ... #

Equations

f $ x = Apply f x

type family (a :: TyFun a b -> Type) $! (a :: a) :: b where ... #

Equations

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

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

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

type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... #

Equations

Flip f x y = Apply (Apply f y) x

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 ... #

Equations

AsTypeOf a_6989586621679436629 a_6989586621679436631 = Apply (Apply ConstSym0 a_6989586621679436629) a_6989586621679436631

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 ... infixr 0 #

Equations

Seq _ x = x

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

Defunctionalization symbols

data FoldrSym0 (l :: TyFun (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (FoldrSym0 :: TyFun (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type) -> *) (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym0 :: TyFun (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> Type) -> *) (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) = FoldrSym1 l

data FoldrSym1 (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (l :: TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type)) #

Instances

SuppressUnusedWarnings (FoldrSym1 :: (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) -> TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FoldrSym1 l1 :: TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> *) (l2 :: b6989586621679436425) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym1 l1 :: TyFun b6989586621679436425 (TyFun [a6989586621679436424] b6989586621679436425 -> Type) -> *) (l2 :: b6989586621679436425) = FoldrSym2 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (l :: b6989586621679436425) (l :: TyFun [a6989586621679436424] b6989586621679436425) #

Instances

SuppressUnusedWarnings (FoldrSym2 :: (TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) -> b6989586621679436425 -> TyFun [a6989586621679436424] b6989586621679436425 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym2 l1 l2 :: TyFun [a] b -> *) (l3 :: [a]) = Foldr l1 l2 l3

type FoldrSym3 (t :: TyFun a6989586621679436424 (TyFun b6989586621679436425 b6989586621679436425 -> Type) -> Type) (t :: b6989586621679436425) (t :: [a6989586621679436424]) = Foldr t t t #

data MapSym0 (l :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type)) #

Instances

SuppressUnusedWarnings (MapSym0 :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (MapSym0 :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type) -> *) (l :: TyFun a6989586621679436422 b6989586621679436423 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym0 :: TyFun (TyFun a6989586621679436422 b6989586621679436423 -> Type) (TyFun [a6989586621679436422] [b6989586621679436423] -> Type) -> *) (l :: TyFun a6989586621679436422 b6989586621679436423 -> Type) = MapSym1 l

data MapSym1 (l :: TyFun a6989586621679436422 b6989586621679436423 -> Type) (l :: TyFun [a6989586621679436422] [b6989586621679436423]) #

Instances

SuppressUnusedWarnings (MapSym1 :: (TyFun a6989586621679436422 b6989586621679436423 -> Type) -> TyFun [a6989586621679436422] [b6989586621679436423] -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym1 l1 :: TyFun [a] [b] -> *) (l2 :: [a]) = Map l1 l2

type MapSym2 (t :: TyFun a6989586621679436422 b6989586621679436423 -> Type) (t :: [a6989586621679436422]) = Map t t #

data (++@#@$) (l :: TyFun [a6989586621679436421] (TyFun [a6989586621679436421] [a6989586621679436421] -> Type)) #

Instances

SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679436421] (TyFun [a6989586621679436421] [a6989586621679436421] -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply ((++@#@$) :: TyFun [a6989586621679436421] (TyFun [a6989586621679436421] [a6989586621679436421] -> Type) -> *) (l :: [a6989586621679436421]) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((++@#@$) :: TyFun [a6989586621679436421] (TyFun [a6989586621679436421] [a6989586621679436421] -> Type) -> *) (l :: [a6989586621679436421]) = (++@#@$$) l

data (l :: [a6989586621679436421]) ++@#@$$ (l :: TyFun [a6989586621679436421] [a6989586621679436421]) #

Instances

SuppressUnusedWarnings ((++@#@$$) :: [a6989586621679436421] -> TyFun [a6989586621679436421] [a6989586621679436421] -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((++@#@$$) l1 :: TyFun [a] [a] -> *) (l2 :: [a]) = l1 ++ l2

type (++@#@$$$) (t :: [a6989586621679436421]) (t :: [a6989586621679436421]) = (++) t t #

type OtherwiseSym0 = Otherwise #

data IdSym0 (l :: TyFun a6989586621679436420 a6989586621679436420) #

Instances

SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679436420 a6989586621679436420 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (IdSym0 :: TyFun a a -> *) (l :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (IdSym0 :: TyFun a a -> *) (l :: a) = Id l

type IdSym1 (t :: a6989586621679436420) = Id t #

data ConstSym0 (l :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type)) #

Instances

SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (ConstSym0 :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type) -> *) (l :: a6989586621679436418) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym0 :: TyFun a6989586621679436418 (TyFun b6989586621679436419 a6989586621679436418 -> Type) -> ) (l :: a6989586621679436418) = (ConstSym1 l :: TyFun b6989586621679436419 a6989586621679436418 -> )

data ConstSym1 (l :: a6989586621679436418) (l :: TyFun b6989586621679436419 a6989586621679436418) #

Instances

SuppressUnusedWarnings (ConstSym1 :: a6989586621679436418 -> TyFun b6989586621679436419 a6989586621679436418 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym1 l1 :: TyFun b a -> *) (l2 :: b) = Const l1 l2

type ConstSym2 (t :: a6989586621679436418) (t :: b6989586621679436419) = Const t t #

data (.@#@$) (l :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings ((.@#@$) :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply ((.@#@$) :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type) -> *) (l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (TyFun b6989586621679436415 c6989586621679436416 -> Type) (TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> Type) -> ) (l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) = ((.@#@$$) l :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> )

data (l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) .@#@$$ (l :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type)) #

Instances

SuppressUnusedWarnings ((.@#@$$) :: (TyFun b6989586621679436415 c6989586621679436416 -> Type) -> TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> *) (l2 :: TyFun a6989586621679436417 b6989586621679436415 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$$) l1 :: TyFun (TyFun a6989586621679436417 b6989586621679436415 -> Type) (TyFun a6989586621679436417 c6989586621679436416 -> Type) -> *) (l2 :: TyFun a6989586621679436417 b6989586621679436415 -> Type) = l1 .@#@$$$ l2

data ((l :: TyFun b6989586621679436415 c6989586621679436416 -> Type) .@#@$$$ (l :: TyFun a6989586621679436417 b6989586621679436415 -> Type)) (l :: TyFun a6989586621679436417 c6989586621679436416) #

Instances

SuppressUnusedWarnings ((.@#@$$$) :: (TyFun b6989586621679436415 c6989586621679436416 -> Type) -> (TyFun a6989586621679436417 b6989586621679436415 -> Type) -> TyFun a6989586621679436417 c6989586621679436416 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (l1 .@#@$$$ l2 :: TyFun a c -> *) (l3 :: a) = (l1 :. l2) l3

type (.@#@$$$$) (t :: TyFun b6989586621679436415 c6989586621679436416 -> Type) (t :: TyFun a6989586621679436417 b6989586621679436415 -> Type) (t :: a6989586621679436417) = (:.) t t t #

data ($@#@$) (l :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type)) #

Instances

SuppressUnusedWarnings (($@#@$) :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (($@#@$) :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type) -> *) (l :: TyFun a6989586621679436409 b6989586621679436410 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$) :: TyFun (TyFun a6989586621679436409 b6989586621679436410 -> Type) (TyFun a6989586621679436409 b6989586621679436410 -> Type) -> *) (l :: TyFun a6989586621679436409 b6989586621679436410 -> Type) = ($@#@$$) l

data (l :: TyFun a6989586621679436409 b6989586621679436410 -> Type) $@#@$$ (l :: TyFun a6989586621679436409 b6989586621679436410) #

Instances

SuppressUnusedWarnings (($@#@$$) :: (TyFun a6989586621679436409 b6989586621679436410 -> Type) -> TyFun a6989586621679436409 b6989586621679436410 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$$) l1 :: TyFun a b -> *) (l2 :: a) = l1 $ l2

type ($@#@$$$) (t :: TyFun a6989586621679436409 b6989586621679436410 -> Type) (t :: a6989586621679436409) = ($) t t #

data ($!@#@$) (l :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type)) #

Instances

SuppressUnusedWarnings (($!@#@$) :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (($!@#@$) :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type) -> *) (l :: TyFun a6989586621679436407 b6989586621679436408 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($!@#@$) :: TyFun (TyFun a6989586621679436407 b6989586621679436408 -> Type) (TyFun a6989586621679436407 b6989586621679436408 -> Type) -> *) (l :: TyFun a6989586621679436407 b6989586621679436408 -> Type) = ($!@#@$$) l

data (l :: TyFun a6989586621679436407 b6989586621679436408 -> Type) $!@#@$$ (l :: TyFun a6989586621679436407 b6989586621679436408) #

Instances

SuppressUnusedWarnings (($!@#@$$) :: (TyFun a6989586621679436407 b6989586621679436408 -> Type) -> TyFun a6989586621679436407 b6989586621679436408 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($!@#@$$) l1 :: TyFun a b -> *) (l2 :: a) = l1 $! l2

type ($!@#@$$$) (t :: TyFun a6989586621679436407 b6989586621679436408 -> Type) (t :: a6989586621679436407) = ($!) t t #

data FlipSym0 (l :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (FlipSym0 :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FlipSym0 :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type) -> *) (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> Type) -> *) (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) = FlipSym1 l

data FlipSym1 (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (l :: TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type)) #

Instances

SuppressUnusedWarnings (FlipSym1 :: (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) -> TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FlipSym1 l1 :: TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> *) (l2 :: b6989586621679436413) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym1 l1 :: TyFun b6989586621679436413 (TyFun a6989586621679436412 c6989586621679436414 -> Type) -> *) (l2 :: b6989586621679436413) = FlipSym2 l1 l2

data FlipSym2 (l :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (l :: b6989586621679436413) (l :: TyFun a6989586621679436412 c6989586621679436414) #

Instances

SuppressUnusedWarnings (FlipSym2 :: (TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) -> b6989586621679436413 -> TyFun a6989586621679436412 c6989586621679436414 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym2 l1 l2 :: TyFun a c -> *) (l3 :: a) = Flip l1 l2 l3

type FlipSym3 (t :: TyFun a6989586621679436412 (TyFun b6989586621679436413 c6989586621679436414 -> Type) -> Type) (t :: b6989586621679436413) (t :: a6989586621679436412) = Flip t t t #

data AsTypeOfSym0 (l :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type)) #

Instances

SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (AsTypeOfSym0 :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type) -> *) (l :: a6989586621679436411) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym0 :: TyFun a6989586621679436411 (TyFun a6989586621679436411 a6989586621679436411 -> Type) -> *) (l :: a6989586621679436411) = AsTypeOfSym1 l

data AsTypeOfSym1 (l :: a6989586621679436411) (l :: TyFun a6989586621679436411 a6989586621679436411) #

Instances

SuppressUnusedWarnings (AsTypeOfSym1 :: a6989586621679436411 -> TyFun a6989586621679436411 a6989586621679436411 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym1 l1 :: TyFun a a -> *) (l2 :: a) = AsTypeOf l1 l2

type AsTypeOfSym2 (t :: a6989586621679436411) (t :: a6989586621679436411) = AsTypeOf t t #

data SeqSym0 (l :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type)) #

Instances

SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type) -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (SeqSym0 :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type) -> *) (l :: a6989586621679436405) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym0 :: TyFun a6989586621679436405 (TyFun b6989586621679436406 b6989586621679436406 -> Type) -> ) (l :: a6989586621679436405) = (SeqSym1 l :: TyFun b6989586621679436406 b6989586621679436406 -> )

data SeqSym1 (l :: a6989586621679436405) (l :: TyFun b6989586621679436406 b6989586621679436406) #

Instances

SuppressUnusedWarnings (SeqSym1 :: a6989586621679436405 -> TyFun b6989586621679436406 b6989586621679436406 -> *) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym1 l1 :: TyFun b b -> *) (l2 :: b) = Seq l1 l2

type SeqSym2 (t :: a6989586621679436405) (t :: b6989586621679436406) = Seq t t #