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 :: (~>) 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 a6989586621679511800 b6989586621679511801. (~>) ((~>) a6989586621679511800 ((~>) b6989586621679511801 b6989586621679511801)) ((~>) b6989586621679511801 ((~>) [a6989586621679511800] b6989586621679511801))
data FoldrSym1 (a6989586621679512009 :: (~>) a6989586621679511800 ((~>) b6989586621679511801 b6989586621679511801)) :: (~>) b6989586621679511801 ((~>) [a6989586621679511800] b6989586621679511801)
data FoldrSym2 (a6989586621679512009 :: (~>) a6989586621679511800 ((~>) b6989586621679511801 b6989586621679511801)) (a6989586621679512010 :: b6989586621679511801) :: (~>) [a6989586621679511800] b6989586621679511801
type FoldrSym3 (a6989586621679512009 :: (~>) a6989586621679511800 ((~>) b6989586621679511801 b6989586621679511801)) (a6989586621679512010 :: b6989586621679511801) (a6989586621679512011 :: [a6989586621679511800]) = Foldr a6989586621679512009 a6989586621679512010 a6989586621679512011
data MapSym0 :: forall a6989586621679511798 b6989586621679511799. (~>) ((~>) a6989586621679511798 b6989586621679511799) ((~>) [a6989586621679511798] [b6989586621679511799])
data MapSym1 (a6989586621679512002 :: (~>) a6989586621679511798 b6989586621679511799) :: (~>) [a6989586621679511798] [b6989586621679511799]
type MapSym2 (a6989586621679512002 :: (~>) a6989586621679511798 b6989586621679511799) (a6989586621679512003 :: [a6989586621679511798]) = Map a6989586621679512002 a6989586621679512003
data (++@#@$) :: forall a6989586621679511797. (~>) [a6989586621679511797] ((~>) [a6989586621679511797] [a6989586621679511797])
data (++@#@$$) (a6989586621679511994 :: [a6989586621679511797]) :: (~>) [a6989586621679511797] [a6989586621679511797]
type (++@#@$$$) (a6989586621679511994 :: [a6989586621679511797]) (a6989586621679511995 :: [a6989586621679511797]) = (++) a6989586621679511994 a6989586621679511995
type OtherwiseSym0 = Otherwise
data IdSym0 :: forall a6989586621679511796. (~>) a6989586621679511796 a6989586621679511796
type IdSym1 (a6989586621679511991 :: a6989586621679511796) = Id a6989586621679511991
data ConstSym0 :: forall a6989586621679511794 b6989586621679511795. (~>) a6989586621679511794 ((~>) b6989586621679511795 a6989586621679511794)
data ConstSym1 (a6989586621679511976 :: a6989586621679511794) :: forall b6989586621679511795. (~>) b6989586621679511795 a6989586621679511794
type ConstSym2 (a6989586621679511976 :: a6989586621679511794) (a6989586621679511977 :: b6989586621679511795) = Const a6989586621679511976 a6989586621679511977
data (.@#@$) :: forall a6989586621679511793 b6989586621679511791 c6989586621679511792. (~>) ((~>) b6989586621679511791 c6989586621679511792) ((~>) ((~>) a6989586621679511793 b6989586621679511791) ((~>) a6989586621679511793 c6989586621679511792))
data (.@#@$$) (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) :: forall a6989586621679511793. (~>) ((~>) a6989586621679511793 b6989586621679511791) ((~>) a6989586621679511793 c6989586621679511792)
data (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) .@#@$$$ (a6989586621679511958 :: (~>) a6989586621679511793 b6989586621679511791) :: (~>) a6989586621679511793 c6989586621679511792
type (.@#@$$$$) (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) (a6989586621679511958 :: (~>) a6989586621679511793 b6989586621679511791) (a6989586621679511959 :: a6989586621679511793) = (:.) a6989586621679511957 a6989586621679511958 a6989586621679511959
data ($@#@$) :: forall a6989586621679511785 b6989586621679511786. (~>) ((~>) a6989586621679511785 b6989586621679511786) ((~>) a6989586621679511785 b6989586621679511786)
data ($@#@$$) (a6989586621679511942 :: (~>) a6989586621679511785 b6989586621679511786) :: (~>) a6989586621679511785 b6989586621679511786
type ($@#@$$$) (a6989586621679511942 :: (~>) a6989586621679511785 b6989586621679511786) (a6989586621679511943 :: a6989586621679511785) = ($) a6989586621679511942 a6989586621679511943
data ($!@#@$) :: forall a6989586621679511783 b6989586621679511784. (~>) ((~>) a6989586621679511783 b6989586621679511784) ((~>) a6989586621679511783 b6989586621679511784)
data ($!@#@$$) (a6989586621679511933 :: (~>) a6989586621679511783 b6989586621679511784) :: (~>) a6989586621679511783 b6989586621679511784
type ($!@#@$$$) (a6989586621679511933 :: (~>) a6989586621679511783 b6989586621679511784) (a6989586621679511934 :: a6989586621679511783) = ($!) a6989586621679511933 a6989586621679511934
data UntilSym0 :: forall a6989586621679511782. (~>) ((~>) a6989586621679511782 Bool) ((~>) ((~>) a6989586621679511782 a6989586621679511782) ((~>) a6989586621679511782 a6989586621679511782))
data UntilSym1 (a6989586621679511907 :: (~>) a6989586621679511782 Bool) :: (~>) ((~>) a6989586621679511782 a6989586621679511782) ((~>) a6989586621679511782 a6989586621679511782)
data UntilSym2 (a6989586621679511907 :: (~>) a6989586621679511782 Bool) (a6989586621679511908 :: (~>) a6989586621679511782 a6989586621679511782) :: (~>) a6989586621679511782 a6989586621679511782
type UntilSym3 (a6989586621679511907 :: (~>) a6989586621679511782 Bool) (a6989586621679511908 :: (~>) a6989586621679511782 a6989586621679511782) (a6989586621679511909 :: a6989586621679511782) = Until a6989586621679511907 a6989586621679511908 a6989586621679511909
data FlipSym0 :: forall a6989586621679511788 b6989586621679511789 c6989586621679511790. (~>) ((~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) ((~>) b6989586621679511789 ((~>) a6989586621679511788 c6989586621679511790))
data FlipSym1 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) :: (~>) b6989586621679511789 ((~>) a6989586621679511788 c6989586621679511790)
data FlipSym2 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) (a6989586621679511949 :: b6989586621679511789) :: (~>) a6989586621679511788 c6989586621679511790
type FlipSym3 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) (a6989586621679511949 :: b6989586621679511789) (a6989586621679511950 :: a6989586621679511788) = Flip a6989586621679511948 a6989586621679511949 a6989586621679511950
data AsTypeOfSym0 :: forall a6989586621679511787. (~>) a6989586621679511787 ((~>) a6989586621679511787 a6989586621679511787)
data AsTypeOfSym1 (a6989586621679511985 :: a6989586621679511787) :: (~>) a6989586621679511787 a6989586621679511787
type AsTypeOfSym2 (a6989586621679511985 :: a6989586621679511787) (a6989586621679511986 :: a6989586621679511787) = AsTypeOf a6989586621679511985 a6989586621679511986
data SeqSym0 :: forall a6989586621679511780 b6989586621679511781. (~>) a6989586621679511780 ((~>) b6989586621679511781 b6989586621679511781)
data SeqSym1 (a6989586621679511902 :: a6989586621679511780) :: forall b6989586621679511781. (~>) b6989586621679511781 b6989586621679511781
type SeqSym2 (a6989586621679511902 :: a6989586621679511780) (a6989586621679511903 :: b6989586621679511781) = Seq a6989586621679511902 a6989586621679511903

Basic functions

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

Equations

Foldr k z a_6989586621679512015 = Apply (Let6989586621679512020GoSym3 k z a_6989586621679512015) a_6989586621679512015

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

sOtherwise :: Sing (OtherwiseSym0 :: Bool) Source #

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_6989586621679511963 = Apply (Apply (Apply (Apply Lambda_6989586621679511968Sym0 f) g) a_6989586621679511963) a_6989586621679511963

(%.) :: 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 (Let6989586621679511939VxSym2 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_6989586621679511913 = Apply (Let6989586621679511918GoSym3 p f a_6989586621679511913) a_6989586621679511913

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_6989586621679511981 a_6989586621679511983 = Apply (Apply ConstSym0 a_6989586621679511981) a_6989586621679511983

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

Instances

SingI (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing FoldrSym0 Source #
SuppressUnusedWarnings (FoldrSym0 :: TyFun (a6989586621679511800 ~> (b6989586621679511801 ~> b6989586621679511801)) (b6989586621679511801 ~> ([a6989586621679511800] ~> b6989586621679511801)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym0 :: TyFun (a6989586621679511800 ~> (b6989586621679511801 ~> b6989586621679511801)) (b6989586621679511801 ~> ([a6989586621679511800] ~> b6989586621679511801)) -> Type) (a6989586621679512009 :: a6989586621679511800 ~> (b6989586621679511801 ~> b6989586621679511801)) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym0 :: TyFun (a6989586621679511800 ~> (b6989586621679511801 ~> b6989586621679511801)) (b6989586621679511801 ~> ([a6989586621679511800] ~> b6989586621679511801)) -> Type) (a6989586621679512009 :: a6989586621679511800 ~> (b6989586621679511801 ~> b6989586621679511801)) = FoldrSym1 a6989586621679512009

data FoldrSym1 (a6989586621679512009 :: (~>) a6989586621679511800 ((~>) b6989586621679511801 b6989586621679511801)) :: (~>) b6989586621679511801 ((~>) [a6989586621679511800] b6989586621679511801) Source #

Instances

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 a6989586621679512009 :: TyFun b6989586621679511801 ([a6989586621679511800] ~> b6989586621679511801) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym1 a6989586621679512009 :: TyFun b6989586621679511801 ([a6989586621679511800] ~> b6989586621679511801) -> Type) (a6989586621679512010 :: b6989586621679511801) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym1 a6989586621679512009 :: TyFun b6989586621679511801 ([a6989586621679511800] ~> b6989586621679511801) -> Type) (a6989586621679512010 :: b6989586621679511801) = FoldrSym2 a6989586621679512009 a6989586621679512010

data FoldrSym2 (a6989586621679512009 :: (~>) a6989586621679511800 ((~>) b6989586621679511801 b6989586621679511801)) (a6989586621679512010 :: b6989586621679511801) :: (~>) [a6989586621679511800] b6989586621679511801 Source #

Instances

(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 a6989586621679512010 a6989586621679512009 :: TyFun [a6989586621679511800] b6989586621679511801 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FoldrSym2 a6989586621679512010 a6989586621679512009 :: TyFun [a] b -> Type) (a6989586621679512011 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym2 a6989586621679512010 a6989586621679512009 :: TyFun [a] b -> Type) (a6989586621679512011 :: [a]) = Foldr a6989586621679512010 a6989586621679512009 a6989586621679512011

type FoldrSym3 (a6989586621679512009 :: (~>) a6989586621679511800 ((~>) b6989586621679511801 b6989586621679511801)) (a6989586621679512010 :: b6989586621679511801) (a6989586621679512011 :: [a6989586621679511800]) = Foldr a6989586621679512009 a6989586621679512010 a6989586621679512011 Source #

data MapSym0 :: forall a6989586621679511798 b6989586621679511799. (~>) ((~>) a6989586621679511798 b6989586621679511799) ((~>) [a6989586621679511798] [b6989586621679511799]) Source #

Instances

SingI (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing MapSym0 Source #
SuppressUnusedWarnings (MapSym0 :: TyFun (a6989586621679511798 ~> b6989586621679511799) ([a6989586621679511798] ~> [b6989586621679511799]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym0 :: TyFun (a6989586621679511798 ~> b6989586621679511799) ([a6989586621679511798] ~> [b6989586621679511799]) -> Type) (a6989586621679512002 :: a6989586621679511798 ~> b6989586621679511799) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym0 :: TyFun (a6989586621679511798 ~> b6989586621679511799) ([a6989586621679511798] ~> [b6989586621679511799]) -> Type) (a6989586621679512002 :: a6989586621679511798 ~> b6989586621679511799) = MapSym1 a6989586621679512002

data MapSym1 (a6989586621679512002 :: (~>) a6989586621679511798 b6989586621679511799) :: (~>) [a6989586621679511798] [b6989586621679511799] Source #

Instances

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 a6989586621679512002 :: TyFun [a6989586621679511798] [b6989586621679511799] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (MapSym1 a6989586621679512002 :: TyFun [a] [b] -> Type) (a6989586621679512003 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym1 a6989586621679512002 :: TyFun [a] [b] -> Type) (a6989586621679512003 :: [a]) = Map a6989586621679512002 a6989586621679512003

type MapSym2 (a6989586621679512002 :: (~>) a6989586621679511798 b6989586621679511799) (a6989586621679512003 :: [a6989586621679511798]) = Map a6989586621679512002 a6989586621679512003 Source #

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

Instances

SingI ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (++@#@$) Source #
SuppressUnusedWarnings ((++@#@$) :: TyFun [a6989586621679511797] ([a6989586621679511797] ~> [a6989586621679511797]) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((++@#@$) :: TyFun [a6989586621679511797] ([a6989586621679511797] ~> [a6989586621679511797]) -> Type) (a6989586621679511994 :: [a6989586621679511797]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((++@#@$) :: TyFun [a6989586621679511797] ([a6989586621679511797] ~> [a6989586621679511797]) -> Type) (a6989586621679511994 :: [a6989586621679511797]) = (++@#@$$) a6989586621679511994

data (++@#@$$) (a6989586621679511994 :: [a6989586621679511797]) :: (~>) [a6989586621679511797] [a6989586621679511797] infixr 5 Source #

Instances

SingI d => SingI ((++@#@$$) d :: TyFun [a] [a] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing ((++@#@$$) d) Source #
SuppressUnusedWarnings ((++@#@$$) a6989586621679511994 :: TyFun [a6989586621679511797] [a6989586621679511797] -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((++@#@$$) a6989586621679511994 :: TyFun [a] [a] -> Type) (a6989586621679511995 :: [a]) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((++@#@$$) a6989586621679511994 :: TyFun [a] [a] -> Type) (a6989586621679511995 :: [a]) = a6989586621679511994 ++ a6989586621679511995

type (++@#@$$$) (a6989586621679511994 :: [a6989586621679511797]) (a6989586621679511995 :: [a6989586621679511797]) = (++) a6989586621679511994 a6989586621679511995 Source #

type OtherwiseSym0 = Otherwise Source #

data IdSym0 :: forall a6989586621679511796. (~>) a6989586621679511796 a6989586621679511796 Source #

Instances

SingI (IdSym0 :: TyFun a a -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing IdSym0 Source #
SuppressUnusedWarnings (IdSym0 :: TyFun a6989586621679511796 a6989586621679511796 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679511991 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679511991 :: a) = Id a6989586621679511991

type IdSym1 (a6989586621679511991 :: a6989586621679511796) = Id a6989586621679511991 Source #

data ConstSym0 :: forall a6989586621679511794 b6989586621679511795. (~>) a6989586621679511794 ((~>) b6989586621679511795 a6989586621679511794) Source #

Instances

SingI (ConstSym0 :: TyFun a (b ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing ConstSym0 Source #
SuppressUnusedWarnings (ConstSym0 :: TyFun a6989586621679511794 (b6989586621679511795 ~> a6989586621679511794) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (ConstSym0 :: TyFun a6989586621679511794 (b6989586621679511795 ~> a6989586621679511794) -> Type) (a6989586621679511976 :: a6989586621679511794) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym0 :: TyFun a6989586621679511794 (b6989586621679511795 ~> a6989586621679511794) -> Type) (a6989586621679511976 :: a6989586621679511794) = (ConstSym1 a6989586621679511976 b6989586621679511795 :: TyFun b6989586621679511795 a6989586621679511794 -> Type)

data ConstSym1 (a6989586621679511976 :: a6989586621679511794) :: forall b6989586621679511795. (~>) b6989586621679511795 a6989586621679511794 Source #

Instances

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 a6989586621679511976 b6989586621679511795 :: TyFun b6989586621679511795 a6989586621679511794 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (ConstSym1 a6989586621679511976 b :: TyFun b a -> Type) (a6989586621679511977 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym1 a6989586621679511976 b :: TyFun b a -> Type) (a6989586621679511977 :: b) = Const a6989586621679511976 a6989586621679511977

type ConstSym2 (a6989586621679511976 :: a6989586621679511794) (a6989586621679511977 :: b6989586621679511795) = Const a6989586621679511976 a6989586621679511977 Source #

data (.@#@$) :: forall a6989586621679511793 b6989586621679511791 c6989586621679511792. (~>) ((~>) b6989586621679511791 c6989586621679511792) ((~>) ((~>) a6989586621679511793 b6989586621679511791) ((~>) a6989586621679511793 c6989586621679511792)) infixr 9 Source #

Instances

SingI ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (.@#@$) Source #
SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679511791 ~> c6989586621679511792) ((a6989586621679511793 ~> b6989586621679511791) ~> (a6989586621679511793 ~> c6989586621679511792)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply ((.@#@$) :: TyFun (b6989586621679511791 ~> c6989586621679511792) ((a6989586621679511793 ~> b6989586621679511791) ~> (a6989586621679511793 ~> c6989586621679511792)) -> Type) (a6989586621679511957 :: b6989586621679511791 ~> c6989586621679511792) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (b6989586621679511791 ~> c6989586621679511792) ((a6989586621679511793 ~> b6989586621679511791) ~> (a6989586621679511793 ~> c6989586621679511792)) -> Type) (a6989586621679511957 :: b6989586621679511791 ~> c6989586621679511792) = (a6989586621679511957 .@#@$$ a6989586621679511793 :: TyFun (a6989586621679511793 ~> b6989586621679511791) (a6989586621679511793 ~> c6989586621679511792) -> Type)

data (.@#@$$) (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) :: forall a6989586621679511793. (~>) ((~>) a6989586621679511793 b6989586621679511791) ((~>) a6989586621679511793 c6989586621679511792) infixr 9 Source #

Instances

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 (a6989586621679511957 .@#@$$ a6989586621679511793 :: TyFun (a6989586621679511793 ~> b6989586621679511791) (a6989586621679511793 ~> c6989586621679511792) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679511957 .@#@$$ a6989586621679511793 :: TyFun (a6989586621679511793 ~> b6989586621679511791) (a6989586621679511793 ~> c6989586621679511792) -> Type) (a6989586621679511958 :: a6989586621679511793 ~> b6989586621679511791) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679511957 .@#@$$ a6989586621679511793 :: TyFun (a6989586621679511793 ~> b6989586621679511791) (a6989586621679511793 ~> c6989586621679511792) -> Type) (a6989586621679511958 :: a6989586621679511793 ~> b6989586621679511791) = a6989586621679511957 .@#@$$$ a6989586621679511958

data (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) .@#@$$$ (a6989586621679511958 :: (~>) a6989586621679511793 b6989586621679511791) :: (~>) a6989586621679511793 c6989586621679511792 infixr 9 Source #

Instances

(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 (a6989586621679511958 .@#@$$$ a6989586621679511957 :: TyFun a6989586621679511793 c6989586621679511792 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679511958 .@#@$$$ a6989586621679511957 :: TyFun a c -> Type) (a6989586621679511959 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679511958 .@#@$$$ a6989586621679511957 :: TyFun a c -> Type) (a6989586621679511959 :: a) = (a6989586621679511958 :. a6989586621679511957) a6989586621679511959

type (.@#@$$$$) (a6989586621679511957 :: (~>) b6989586621679511791 c6989586621679511792) (a6989586621679511958 :: (~>) a6989586621679511793 b6989586621679511791) (a6989586621679511959 :: a6989586621679511793) = (:.) a6989586621679511957 a6989586621679511958 a6989586621679511959 Source #

data ($@#@$) :: forall a6989586621679511785 b6989586621679511786. (~>) ((~>) a6989586621679511785 b6989586621679511786) ((~>) a6989586621679511785 b6989586621679511786) infixr 0 Source #

Instances

SingI (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing ($@#@$) Source #
SuppressUnusedWarnings (($@#@$) :: TyFun (a6989586621679511785 ~> b6989586621679511786) (a6989586621679511785 ~> b6989586621679511786) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($@#@$) :: TyFun (a6989586621679511785 ~> b6989586621679511786) (a6989586621679511785 ~> b6989586621679511786) -> Type) (a6989586621679511942 :: a6989586621679511785 ~> b6989586621679511786) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$) :: TyFun (a6989586621679511785 ~> b6989586621679511786) (a6989586621679511785 ~> b6989586621679511786) -> Type) (a6989586621679511942 :: a6989586621679511785 ~> b6989586621679511786) = ($@#@$$) a6989586621679511942

data ($@#@$$) (a6989586621679511942 :: (~>) a6989586621679511785 b6989586621679511786) :: (~>) a6989586621679511785 b6989586621679511786 infixr 0 Source #

Instances

SingI d => SingI (($@#@$$) d :: TyFun a b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (($@#@$$) d) Source #
SuppressUnusedWarnings (($@#@$$) a6989586621679511942 :: TyFun a6989586621679511785 b6989586621679511786 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($@#@$$) a6989586621679511942 :: TyFun a b -> Type) (a6989586621679511943 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$$) a6989586621679511942 :: TyFun a b -> Type) (a6989586621679511943 :: a) = a6989586621679511942 $ a6989586621679511943

type ($@#@$$$) (a6989586621679511942 :: (~>) a6989586621679511785 b6989586621679511786) (a6989586621679511943 :: a6989586621679511785) = ($) a6989586621679511942 a6989586621679511943 Source #

data ($!@#@$) :: forall a6989586621679511783 b6989586621679511784. (~>) ((~>) a6989586621679511783 b6989586621679511784) ((~>) a6989586621679511783 b6989586621679511784) infixr 0 Source #

Instances

SingI (($!@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing ($!@#@$) Source #
SuppressUnusedWarnings (($!@#@$) :: TyFun (a6989586621679511783 ~> b6989586621679511784) (a6989586621679511783 ~> b6989586621679511784) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($!@#@$) :: TyFun (a6989586621679511783 ~> b6989586621679511784) (a6989586621679511783 ~> b6989586621679511784) -> Type) (a6989586621679511933 :: a6989586621679511783 ~> b6989586621679511784) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($!@#@$) :: TyFun (a6989586621679511783 ~> b6989586621679511784) (a6989586621679511783 ~> b6989586621679511784) -> Type) (a6989586621679511933 :: a6989586621679511783 ~> b6989586621679511784) = ($!@#@$$) a6989586621679511933

data ($!@#@$$) (a6989586621679511933 :: (~>) a6989586621679511783 b6989586621679511784) :: (~>) a6989586621679511783 b6989586621679511784 infixr 0 Source #

Instances

SingI d => SingI (($!@#@$$) d :: TyFun a b -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (($!@#@$$) d) Source #
SuppressUnusedWarnings (($!@#@$$) a6989586621679511933 :: TyFun a6989586621679511783 b6989586621679511784 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (($!@#@$$) a6989586621679511933 :: TyFun a b -> Type) (a6989586621679511934 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($!@#@$$) a6989586621679511933 :: TyFun a b -> Type) (a6989586621679511934 :: a) = a6989586621679511933 $! a6989586621679511934

type ($!@#@$$$) (a6989586621679511933 :: (~>) a6989586621679511783 b6989586621679511784) (a6989586621679511934 :: a6989586621679511783) = ($!) a6989586621679511933 a6989586621679511934 Source #

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

Instances

SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing UntilSym0 Source #
SuppressUnusedWarnings (UntilSym0 :: TyFun (a6989586621679511782 ~> Bool) ((a6989586621679511782 ~> a6989586621679511782) ~> (a6989586621679511782 ~> a6989586621679511782)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym0 :: TyFun (a6989586621679511782 ~> Bool) ((a6989586621679511782 ~> a6989586621679511782) ~> (a6989586621679511782 ~> a6989586621679511782)) -> Type) (a6989586621679511907 :: a6989586621679511782 ~> Bool) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (UntilSym0 :: TyFun (a6989586621679511782 ~> Bool) ((a6989586621679511782 ~> a6989586621679511782) ~> (a6989586621679511782 ~> a6989586621679511782)) -> Type) (a6989586621679511907 :: a6989586621679511782 ~> Bool) = UntilSym1 a6989586621679511907

data UntilSym1 (a6989586621679511907 :: (~>) a6989586621679511782 Bool) :: (~>) ((~>) a6989586621679511782 a6989586621679511782) ((~>) a6989586621679511782 a6989586621679511782) Source #

Instances

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 a6989586621679511907 :: TyFun (a6989586621679511782 ~> a6989586621679511782) (a6989586621679511782 ~> a6989586621679511782) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym1 a6989586621679511907 :: TyFun (a6989586621679511782 ~> a6989586621679511782) (a6989586621679511782 ~> a6989586621679511782) -> Type) (a6989586621679511908 :: a6989586621679511782 ~> a6989586621679511782) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (UntilSym1 a6989586621679511907 :: TyFun (a6989586621679511782 ~> a6989586621679511782) (a6989586621679511782 ~> a6989586621679511782) -> Type) (a6989586621679511908 :: a6989586621679511782 ~> a6989586621679511782) = UntilSym2 a6989586621679511907 a6989586621679511908

data UntilSym2 (a6989586621679511907 :: (~>) a6989586621679511782 Bool) (a6989586621679511908 :: (~>) a6989586621679511782 a6989586621679511782) :: (~>) a6989586621679511782 a6989586621679511782 Source #

Instances

(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 a6989586621679511908 a6989586621679511907 :: TyFun a6989586621679511782 a6989586621679511782 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (UntilSym2 a6989586621679511908 a6989586621679511907 :: TyFun a a -> Type) (a6989586621679511909 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (UntilSym2 a6989586621679511908 a6989586621679511907 :: TyFun a a -> Type) (a6989586621679511909 :: a) = Until a6989586621679511908 a6989586621679511907 a6989586621679511909

type UntilSym3 (a6989586621679511907 :: (~>) a6989586621679511782 Bool) (a6989586621679511908 :: (~>) a6989586621679511782 a6989586621679511782) (a6989586621679511909 :: a6989586621679511782) = Until a6989586621679511907 a6989586621679511908 a6989586621679511909 Source #

data FlipSym0 :: forall a6989586621679511788 b6989586621679511789 c6989586621679511790. (~>) ((~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) ((~>) b6989586621679511789 ((~>) a6989586621679511788 c6989586621679511790)) Source #

Instances

SingI (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing FlipSym0 Source #
SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) (b6989586621679511789 ~> (a6989586621679511788 ~> c6989586621679511790)) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym0 :: TyFun (a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) (b6989586621679511789 ~> (a6989586621679511788 ~> c6989586621679511790)) -> Type) (a6989586621679511948 :: a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) (b6989586621679511789 ~> (a6989586621679511788 ~> c6989586621679511790)) -> Type) (a6989586621679511948 :: a6989586621679511788 ~> (b6989586621679511789 ~> c6989586621679511790)) = FlipSym1 a6989586621679511948

data FlipSym1 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) :: (~>) b6989586621679511789 ((~>) a6989586621679511788 c6989586621679511790) Source #

Instances

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 a6989586621679511948 :: TyFun b6989586621679511789 (a6989586621679511788 ~> c6989586621679511790) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym1 a6989586621679511948 :: TyFun b6989586621679511789 (a6989586621679511788 ~> c6989586621679511790) -> Type) (a6989586621679511949 :: b6989586621679511789) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym1 a6989586621679511948 :: TyFun b6989586621679511789 (a6989586621679511788 ~> c6989586621679511790) -> Type) (a6989586621679511949 :: b6989586621679511789) = FlipSym2 a6989586621679511948 a6989586621679511949

data FlipSym2 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) (a6989586621679511949 :: b6989586621679511789) :: (~>) a6989586621679511788 c6989586621679511790 Source #

Instances

(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 a6989586621679511949 a6989586621679511948 :: TyFun a6989586621679511788 c6989586621679511790 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (FlipSym2 a6989586621679511949 a6989586621679511948 :: TyFun a c -> Type) (a6989586621679511950 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym2 a6989586621679511949 a6989586621679511948 :: TyFun a c -> Type) (a6989586621679511950 :: a) = Flip a6989586621679511949 a6989586621679511948 a6989586621679511950

type FlipSym3 (a6989586621679511948 :: (~>) a6989586621679511788 ((~>) b6989586621679511789 c6989586621679511790)) (a6989586621679511949 :: b6989586621679511789) (a6989586621679511950 :: a6989586621679511788) = Flip a6989586621679511948 a6989586621679511949 a6989586621679511950 Source #

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

Instances

SingI (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing AsTypeOfSym0 Source #
SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a6989586621679511787 (a6989586621679511787 ~> a6989586621679511787) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (AsTypeOfSym0 :: TyFun a6989586621679511787 (a6989586621679511787 ~> a6989586621679511787) -> Type) (a6989586621679511985 :: a6989586621679511787) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym0 :: TyFun a6989586621679511787 (a6989586621679511787 ~> a6989586621679511787) -> Type) (a6989586621679511985 :: a6989586621679511787) = AsTypeOfSym1 a6989586621679511985

data AsTypeOfSym1 (a6989586621679511985 :: a6989586621679511787) :: (~>) a6989586621679511787 a6989586621679511787 Source #

Instances

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 a6989586621679511985 :: TyFun a6989586621679511787 a6989586621679511787 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (AsTypeOfSym1 a6989586621679511985 :: TyFun a a -> Type) (a6989586621679511986 :: a) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym1 a6989586621679511985 :: TyFun a a -> Type) (a6989586621679511986 :: a) = AsTypeOf a6989586621679511985 a6989586621679511986

type AsTypeOfSym2 (a6989586621679511985 :: a6989586621679511787) (a6989586621679511986 :: a6989586621679511787) = AsTypeOf a6989586621679511985 a6989586621679511986 Source #

data SeqSym0 :: forall a6989586621679511780 b6989586621679511781. (~>) a6989586621679511780 ((~>) b6989586621679511781 b6989586621679511781) infixr 0 Source #

Instances

SingI (SeqSym0 :: TyFun a (b ~> b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing SeqSym0 Source #
SuppressUnusedWarnings (SeqSym0 :: TyFun a6989586621679511780 (b6989586621679511781 ~> b6989586621679511781) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (SeqSym0 :: TyFun a6989586621679511780 (b6989586621679511781 ~> b6989586621679511781) -> Type) (a6989586621679511902 :: a6989586621679511780) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym0 :: TyFun a6989586621679511780 (b6989586621679511781 ~> b6989586621679511781) -> Type) (a6989586621679511902 :: a6989586621679511780) = (SeqSym1 a6989586621679511902 b6989586621679511781 :: TyFun b6989586621679511781 b6989586621679511781 -> Type)

data SeqSym1 (a6989586621679511902 :: a6989586621679511780) :: forall b6989586621679511781. (~>) b6989586621679511781 b6989586621679511781 infixr 0 Source #

Instances

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 a6989586621679511902 b6989586621679511781 :: TyFun b6989586621679511781 b6989586621679511781 -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () Source #
type Apply (SeqSym1 a6989586621679511902 b :: TyFun b b -> Type) (a6989586621679511903 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym1 a6989586621679511902 b :: TyFun b b -> Type) (a6989586621679511903 :: b) = Seq a6989586621679511902 a6989586621679511903

type SeqSym2 (a6989586621679511902 :: a6989586621679511780) (a6989586621679511903 :: b6989586621679511781) = Seq a6989586621679511902 a6989586621679511903 Source #