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 a6989586621679538770 b6989586621679538771. (~>) ((~>) a6989586621679538770 ((~>) b6989586621679538771 b6989586621679538771)) ((~>) b6989586621679538771 ((~>) [a6989586621679538770] b6989586621679538771))
data FoldrSym1 (a6989586621679538979 :: (~>) a6989586621679538770 ((~>) b6989586621679538771 b6989586621679538771)) :: (~>) b6989586621679538771 ((~>) [a6989586621679538770] b6989586621679538771)
data FoldrSym2 (a6989586621679538979 :: (~>) a6989586621679538770 ((~>) b6989586621679538771 b6989586621679538771)) (a6989586621679538980 :: b6989586621679538771) :: (~>) [a6989586621679538770] b6989586621679538771
type FoldrSym3 (a6989586621679538979 :: (~>) a6989586621679538770 ((~>) b6989586621679538771 b6989586621679538771)) (a6989586621679538980 :: b6989586621679538771) (a6989586621679538981 :: [a6989586621679538770]) = Foldr a6989586621679538979 a6989586621679538980 a6989586621679538981
data MapSym0 :: forall a6989586621679538768 b6989586621679538769. (~>) ((~>) a6989586621679538768 b6989586621679538769) ((~>) [a6989586621679538768] [b6989586621679538769])
data MapSym1 (a6989586621679538972 :: (~>) a6989586621679538768 b6989586621679538769) :: (~>) [a6989586621679538768] [b6989586621679538769]
type MapSym2 (a6989586621679538972 :: (~>) a6989586621679538768 b6989586621679538769) (a6989586621679538973 :: [a6989586621679538768]) = Map a6989586621679538972 a6989586621679538973
data (++@#@$) :: forall a6989586621679538767. (~>) [a6989586621679538767] ((~>) [a6989586621679538767] [a6989586621679538767])
data (++@#@$$) (a6989586621679538964 :: [a6989586621679538767]) :: (~>) [a6989586621679538767] [a6989586621679538767]
type (++@#@$$$) (a6989586621679538964 :: [a6989586621679538767]) (a6989586621679538965 :: [a6989586621679538767]) = (++) a6989586621679538964 a6989586621679538965
type OtherwiseSym0 = Otherwise
data IdSym0 :: forall a6989586621679538766. (~>) a6989586621679538766 a6989586621679538766
type IdSym1 (a6989586621679538961 :: a6989586621679538766) = Id a6989586621679538961
data ConstSym0 :: forall a6989586621679538764 b6989586621679538765. (~>) a6989586621679538764 ((~>) b6989586621679538765 a6989586621679538764)
data ConstSym1 (a6989586621679538946 :: a6989586621679538764) :: forall b6989586621679538765. (~>) b6989586621679538765 a6989586621679538764
type ConstSym2 (a6989586621679538946 :: a6989586621679538764) (a6989586621679538947 :: b6989586621679538765) = Const a6989586621679538946 a6989586621679538947
data (.@#@$) :: forall a6989586621679538763 b6989586621679538761 c6989586621679538762. (~>) ((~>) b6989586621679538761 c6989586621679538762) ((~>) ((~>) a6989586621679538763 b6989586621679538761) ((~>) a6989586621679538763 c6989586621679538762))
data (.@#@$$) (a6989586621679538927 :: (~>) b6989586621679538761 c6989586621679538762) :: forall a6989586621679538763. (~>) ((~>) a6989586621679538763 b6989586621679538761) ((~>) a6989586621679538763 c6989586621679538762)
data (a6989586621679538927 :: (~>) b6989586621679538761 c6989586621679538762) .@#@$$$ (a6989586621679538928 :: (~>) a6989586621679538763 b6989586621679538761) :: (~>) a6989586621679538763 c6989586621679538762
type (.@#@$$$$) (a6989586621679538927 :: (~>) b6989586621679538761 c6989586621679538762) (a6989586621679538928 :: (~>) a6989586621679538763 b6989586621679538761) (a6989586621679538929 :: a6989586621679538763) = (:.) a6989586621679538927 a6989586621679538928 a6989586621679538929
data ($@#@$) :: forall a6989586621679538755 b6989586621679538756. (~>) ((~>) a6989586621679538755 b6989586621679538756) ((~>) a6989586621679538755 b6989586621679538756)
data ($@#@$$) (a6989586621679538912 :: (~>) a6989586621679538755 b6989586621679538756) :: (~>) a6989586621679538755 b6989586621679538756
type ($@#@$$$) (a6989586621679538912 :: (~>) a6989586621679538755 b6989586621679538756) (a6989586621679538913 :: a6989586621679538755) = ($) a6989586621679538912 a6989586621679538913
data ($!@#@$) :: forall a6989586621679538753 b6989586621679538754. (~>) ((~>) a6989586621679538753 b6989586621679538754) ((~>) a6989586621679538753 b6989586621679538754)
data ($!@#@$$) (a6989586621679538903 :: (~>) a6989586621679538753 b6989586621679538754) :: (~>) a6989586621679538753 b6989586621679538754
type ($!@#@$$$) (a6989586621679538903 :: (~>) a6989586621679538753 b6989586621679538754) (a6989586621679538904 :: a6989586621679538753) = ($!) a6989586621679538903 a6989586621679538904
data UntilSym0 :: forall a6989586621679538752. (~>) ((~>) a6989586621679538752 Bool) ((~>) ((~>) a6989586621679538752 a6989586621679538752) ((~>) a6989586621679538752 a6989586621679538752))
data UntilSym1 (a6989586621679538877 :: (~>) a6989586621679538752 Bool) :: (~>) ((~>) a6989586621679538752 a6989586621679538752) ((~>) a6989586621679538752 a6989586621679538752)
data UntilSym2 (a6989586621679538877 :: (~>) a6989586621679538752 Bool) (a6989586621679538878 :: (~>) a6989586621679538752 a6989586621679538752) :: (~>) a6989586621679538752 a6989586621679538752
type UntilSym3 (a6989586621679538877 :: (~>) a6989586621679538752 Bool) (a6989586621679538878 :: (~>) a6989586621679538752 a6989586621679538752) (a6989586621679538879 :: a6989586621679538752) = Until a6989586621679538877 a6989586621679538878 a6989586621679538879
data FlipSym0 :: forall a6989586621679538758 b6989586621679538759 c6989586621679538760. (~>) ((~>) a6989586621679538758 ((~>) b6989586621679538759 c6989586621679538760)) ((~>) b6989586621679538759 ((~>) a6989586621679538758 c6989586621679538760))
data FlipSym1 (a6989586621679538918 :: (~>) a6989586621679538758 ((~>) b6989586621679538759 c6989586621679538760)) :: (~>) b6989586621679538759 ((~>) a6989586621679538758 c6989586621679538760)
data FlipSym2 (a6989586621679538918 :: (~>) a6989586621679538758 ((~>) b6989586621679538759 c6989586621679538760)) (a6989586621679538919 :: b6989586621679538759) :: (~>) a6989586621679538758 c6989586621679538760
type FlipSym3 (a6989586621679538918 :: (~>) a6989586621679538758 ((~>) b6989586621679538759 c6989586621679538760)) (a6989586621679538919 :: b6989586621679538759) (a6989586621679538920 :: a6989586621679538758) = Flip a6989586621679538918 a6989586621679538919 a6989586621679538920
data AsTypeOfSym0 :: forall a6989586621679538757. (~>) a6989586621679538757 ((~>) a6989586621679538757 a6989586621679538757)
data AsTypeOfSym1 (a6989586621679538955 :: a6989586621679538757) :: (~>) a6989586621679538757 a6989586621679538757
type AsTypeOfSym2 (a6989586621679538955 :: a6989586621679538757) (a6989586621679538956 :: a6989586621679538757) = AsTypeOf a6989586621679538955 a6989586621679538956
data SeqSym0 :: forall a6989586621679538750 b6989586621679538751. (~>) a6989586621679538750 ((~>) b6989586621679538751 b6989586621679538751)
data SeqSym1 (a6989586621679538872 :: a6989586621679538750) :: forall b6989586621679538751. (~>) b6989586621679538751 b6989586621679538751
type SeqSym2 (a6989586621679538872 :: a6989586621679538750) (a6989586621679538873 :: b6989586621679538751) = Seq a6989586621679538872 a6989586621679538873

Basic functions

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

Equations

Foldr k z a_6989586621679538985 = Apply (Let6989586621679538990GoSym3 k z a_6989586621679538985) a_6989586621679538985

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

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]) #

type family (a :: [a]) ++ (a :: [a]) :: [a] where ... infixr 5 #

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 #

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 a (t :: a). Sing t -> Sing (Apply IdSym0 t :: a) #

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

Equations

Const x _ = x

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

Equations

(f :. g) a_6989586621679538933 = Apply (Apply (Apply (Apply Lambda_6989586621679538938Sym0 f) g) a_6989586621679538933) a_6989586621679538933

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

type family (a :: (~>) a b) $ (a :: a) :: b where ... infixr 0 #

Equations

f $ x = Apply f x

type family (a :: (~>) a b) $! (a :: a) :: b where ... infixr 0 #

Equations

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

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

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

type family Until (a :: (~>) a Bool) (a :: (~>) a a) (a :: a) :: a where ... #

Equations

Until p f a_6989586621679538883 = Apply (Let6989586621679538888GoSym3 p f a_6989586621679538883) a_6989586621679538883

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

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

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

Equations

AsTypeOf a_6989586621679538951 a_6989586621679538953 = Apply (Apply ConstSym0 a_6989586621679538951) a_6989586621679538953

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

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 #

Defunctionalization symbols

data FoldrSym0 :: forall a6989586621679538770 b6989586621679538771. (~>) ((~>) a6989586621679538770 ((~>) b6989586621679538771 b6989586621679538771)) ((~>) b6989586621679538771 ((~>) [a6989586621679538770] b6989586621679538771)) #

Instances

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

data FoldrSym1 (a6989586621679538979 :: (~>) a6989586621679538770 ((~>) b6989586621679538771 b6989586621679538771)) :: (~>) b6989586621679538771 ((~>) [a6989586621679538770] b6989586621679538771) #

Instances

SingI d => SingI (FoldrSym1 d :: TyFun b ([a] ~> b) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (FoldrSym1 d) #
SuppressUnusedWarnings (FoldrSym1 a6989586621679538979 :: TyFun b6989586621679538771 ([a6989586621679538770] ~> b6989586621679538771) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FoldrSym1 a6989586621679538979 :: TyFun b6989586621679538771 ([a6989586621679538770] ~> b6989586621679538771) -> Type) (a6989586621679538980 :: b6989586621679538771) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym1 a6989586621679538979 :: TyFun b6989586621679538771 ([a6989586621679538770] ~> b6989586621679538771) -> Type) (a6989586621679538980 :: b6989586621679538771) = FoldrSym2 a6989586621679538979 a6989586621679538980

data FoldrSym2 (a6989586621679538979 :: (~>) a6989586621679538770 ((~>) b6989586621679538771 b6989586621679538771)) (a6989586621679538980 :: b6989586621679538771) :: (~>) [a6989586621679538770] b6989586621679538771 #

Instances

(SingI d1, SingI d2) => SingI (FoldrSym2 d1 d2 :: TyFun [a] b -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (FoldrSym2 d1 d2) #
SuppressUnusedWarnings (FoldrSym2 a6989586621679538980 a6989586621679538979 :: TyFun [a6989586621679538770] b6989586621679538771 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FoldrSym2 a6989586621679538980 a6989586621679538979 :: TyFun [a] b -> Type) (a6989586621679538981 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FoldrSym2 a6989586621679538980 a6989586621679538979 :: TyFun [a] b -> Type) (a6989586621679538981 :: [a]) = Foldr a6989586621679538980 a6989586621679538979 a6989586621679538981

type FoldrSym3 (a6989586621679538979 :: (~>) a6989586621679538770 ((~>) b6989586621679538771 b6989586621679538771)) (a6989586621679538980 :: b6989586621679538771) (a6989586621679538981 :: [a6989586621679538770]) = Foldr a6989586621679538979 a6989586621679538980 a6989586621679538981 #

data MapSym0 :: forall a6989586621679538768 b6989586621679538769. (~>) ((~>) a6989586621679538768 b6989586621679538769) ((~>) [a6989586621679538768] [b6989586621679538769]) #

Instances

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

data MapSym1 (a6989586621679538972 :: (~>) a6989586621679538768 b6989586621679538769) :: (~>) [a6989586621679538768] [b6989586621679538769] #

Instances

SingI d => SingI (MapSym1 d :: TyFun [a] [b] -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (MapSym1 d) #
SuppressUnusedWarnings (MapSym1 a6989586621679538972 :: TyFun [a6989586621679538768] [b6989586621679538769] -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (MapSym1 a6989586621679538972 :: TyFun [a] [b] -> Type) (a6989586621679538973 :: [a]) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (MapSym1 a6989586621679538972 :: TyFun [a] [b] -> Type) (a6989586621679538973 :: [a]) = Map a6989586621679538972 a6989586621679538973

type MapSym2 (a6989586621679538972 :: (~>) a6989586621679538768 b6989586621679538769) (a6989586621679538973 :: [a6989586621679538768]) = Map a6989586621679538972 a6989586621679538973 #

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

Instances

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

data (++@#@$$) (a6989586621679538964 :: [a6989586621679538767]) :: (~>) [a6989586621679538767] [a6989586621679538767] infixr 5 #

Instances

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

type (++@#@$$$) (a6989586621679538964 :: [a6989586621679538767]) (a6989586621679538965 :: [a6989586621679538767]) = (++) a6989586621679538964 a6989586621679538965 #

type OtherwiseSym0 = Otherwise #

data IdSym0 :: forall a6989586621679538766. (~>) a6989586621679538766 a6989586621679538766 #

Instances

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

type IdSym1 (a6989586621679538961 :: a6989586621679538766) = Id a6989586621679538961 #

data ConstSym0 :: forall a6989586621679538764 b6989586621679538765. (~>) a6989586621679538764 ((~>) b6989586621679538765 a6989586621679538764) #

Instances

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

data ConstSym1 (a6989586621679538946 :: a6989586621679538764) :: forall b6989586621679538765. (~>) b6989586621679538765 a6989586621679538764 #

Instances

SingI d => SingI (ConstSym1 d b :: TyFun b a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (ConstSym1 d b) #
SuppressUnusedWarnings (ConstSym1 a6989586621679538946 b6989586621679538765 :: TyFun b6989586621679538765 a6989586621679538764 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (ConstSym1 a6989586621679538946 b :: TyFun b a -> Type) (a6989586621679538947 :: b) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (ConstSym1 a6989586621679538946 b :: TyFun b a -> Type) (a6989586621679538947 :: b) = Const a6989586621679538946 a6989586621679538947

type ConstSym2 (a6989586621679538946 :: a6989586621679538764) (a6989586621679538947 :: b6989586621679538765) = Const a6989586621679538946 a6989586621679538947 #

data (.@#@$) :: forall a6989586621679538763 b6989586621679538761 c6989586621679538762. (~>) ((~>) b6989586621679538761 c6989586621679538762) ((~>) ((~>) a6989586621679538763 b6989586621679538761) ((~>) a6989586621679538763 c6989586621679538762)) infixr 9 #

Instances

SingI ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (.@#@$) #
SuppressUnusedWarnings ((.@#@$) :: TyFun (b6989586621679538761 ~> c6989586621679538762) ((a6989586621679538763 ~> b6989586621679538761) ~> (a6989586621679538763 ~> c6989586621679538762)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply ((.@#@$) :: TyFun (b6989586621679538761 ~> c6989586621679538762) ((a6989586621679538763 ~> b6989586621679538761) ~> (a6989586621679538763 ~> c6989586621679538762)) -> Type) (a6989586621679538927 :: b6989586621679538761 ~> c6989586621679538762) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply ((.@#@$) :: TyFun (b6989586621679538761 ~> c6989586621679538762) ((a6989586621679538763 ~> b6989586621679538761) ~> (a6989586621679538763 ~> c6989586621679538762)) -> Type) (a6989586621679538927 :: b6989586621679538761 ~> c6989586621679538762) = (a6989586621679538927 .@#@$$ a6989586621679538763 :: TyFun (a6989586621679538763 ~> b6989586621679538761) (a6989586621679538763 ~> c6989586621679538762) -> Type)

data (.@#@$$) (a6989586621679538927 :: (~>) b6989586621679538761 c6989586621679538762) :: forall a6989586621679538763. (~>) ((~>) a6989586621679538763 b6989586621679538761) ((~>) a6989586621679538763 c6989586621679538762) infixr 9 #

Instances

SingI d => SingI (d .@#@$$ a :: TyFun (a ~> b) (a ~> c) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (d .@#@$$ a) #
SuppressUnusedWarnings (a6989586621679538927 .@#@$$ a6989586621679538763 :: TyFun (a6989586621679538763 ~> b6989586621679538761) (a6989586621679538763 ~> c6989586621679538762) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (a6989586621679538927 .@#@$$ a6989586621679538763 :: TyFun (a6989586621679538763 ~> b6989586621679538761) (a6989586621679538763 ~> c6989586621679538762) -> Type) (a6989586621679538928 :: a6989586621679538763 ~> b6989586621679538761) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679538927 .@#@$$ a6989586621679538763 :: TyFun (a6989586621679538763 ~> b6989586621679538761) (a6989586621679538763 ~> c6989586621679538762) -> Type) (a6989586621679538928 :: a6989586621679538763 ~> b6989586621679538761) = a6989586621679538927 .@#@$$$ a6989586621679538928

data (a6989586621679538927 :: (~>) b6989586621679538761 c6989586621679538762) .@#@$$$ (a6989586621679538928 :: (~>) a6989586621679538763 b6989586621679538761) :: (~>) a6989586621679538763 c6989586621679538762 infixr 9 #

Instances

(SingI d1, SingI d2) => SingI (d1 .@#@$$$ d2 :: TyFun a c -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (d1 .@#@$$$ d2) #
SuppressUnusedWarnings (a6989586621679538928 .@#@$$$ a6989586621679538927 :: TyFun a6989586621679538763 c6989586621679538762 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (a6989586621679538928 .@#@$$$ a6989586621679538927 :: TyFun a c -> Type) (a6989586621679538929 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (a6989586621679538928 .@#@$$$ a6989586621679538927 :: TyFun a c -> Type) (a6989586621679538929 :: a) = (a6989586621679538928 :. a6989586621679538927) a6989586621679538929

type (.@#@$$$$) (a6989586621679538927 :: (~>) b6989586621679538761 c6989586621679538762) (a6989586621679538928 :: (~>) a6989586621679538763 b6989586621679538761) (a6989586621679538929 :: a6989586621679538763) = (:.) a6989586621679538927 a6989586621679538928 a6989586621679538929 #

data ($@#@$) :: forall a6989586621679538755 b6989586621679538756. (~>) ((~>) a6989586621679538755 b6989586621679538756) ((~>) a6989586621679538755 b6989586621679538756) infixr 0 #

Instances

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

data ($@#@$$) (a6989586621679538912 :: (~>) a6989586621679538755 b6989586621679538756) :: (~>) a6989586621679538755 b6989586621679538756 infixr 0 #

Instances

SingI d => SingI (($@#@$$) d :: TyFun a b -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (($@#@$$) d) #
SuppressUnusedWarnings (($@#@$$) a6989586621679538912 :: TyFun a6989586621679538755 b6989586621679538756 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (($@#@$$) a6989586621679538912 :: TyFun a b -> Type) (a6989586621679538913 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($@#@$$) a6989586621679538912 :: TyFun a b -> Type) (a6989586621679538913 :: a) = a6989586621679538912 $ a6989586621679538913

type ($@#@$$$) (a6989586621679538912 :: (~>) a6989586621679538755 b6989586621679538756) (a6989586621679538913 :: a6989586621679538755) = ($) a6989586621679538912 a6989586621679538913 #

data ($!@#@$) :: forall a6989586621679538753 b6989586621679538754. (~>) ((~>) a6989586621679538753 b6989586621679538754) ((~>) a6989586621679538753 b6989586621679538754) infixr 0 #

Instances

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

data ($!@#@$$) (a6989586621679538903 :: (~>) a6989586621679538753 b6989586621679538754) :: (~>) a6989586621679538753 b6989586621679538754 infixr 0 #

Instances

SingI d => SingI (($!@#@$$) d :: TyFun a b -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (($!@#@$$) d) #
SuppressUnusedWarnings (($!@#@$$) a6989586621679538903 :: TyFun a6989586621679538753 b6989586621679538754 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (($!@#@$$) a6989586621679538903 :: TyFun a b -> Type) (a6989586621679538904 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (($!@#@$$) a6989586621679538903 :: TyFun a b -> Type) (a6989586621679538904 :: a) = a6989586621679538903 $! a6989586621679538904

type ($!@#@$$$) (a6989586621679538903 :: (~>) a6989586621679538753 b6989586621679538754) (a6989586621679538904 :: a6989586621679538753) = ($!) a6989586621679538903 a6989586621679538904 #

data UntilSym0 :: forall a6989586621679538752. (~>) ((~>) a6989586621679538752 Bool) ((~>) ((~>) a6989586621679538752 a6989586621679538752) ((~>) a6989586621679538752 a6989586621679538752)) #

Instances

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

data UntilSym1 (a6989586621679538877 :: (~>) a6989586621679538752 Bool) :: (~>) ((~>) a6989586621679538752 a6989586621679538752) ((~>) a6989586621679538752 a6989586621679538752) #

Instances

SingI d => SingI (UntilSym1 d :: TyFun (a ~> a) (a ~> a) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (UntilSym1 d) #
SuppressUnusedWarnings (UntilSym1 a6989586621679538877 :: TyFun (a6989586621679538752 ~> a6989586621679538752) (a6989586621679538752 ~> a6989586621679538752) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (UntilSym1 a6989586621679538877 :: TyFun (a6989586621679538752 ~> a6989586621679538752) (a6989586621679538752 ~> a6989586621679538752) -> Type) (a6989586621679538878 :: a6989586621679538752 ~> a6989586621679538752) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (UntilSym1 a6989586621679538877 :: TyFun (a6989586621679538752 ~> a6989586621679538752) (a6989586621679538752 ~> a6989586621679538752) -> Type) (a6989586621679538878 :: a6989586621679538752 ~> a6989586621679538752) = UntilSym2 a6989586621679538877 a6989586621679538878

data UntilSym2 (a6989586621679538877 :: (~>) a6989586621679538752 Bool) (a6989586621679538878 :: (~>) a6989586621679538752 a6989586621679538752) :: (~>) a6989586621679538752 a6989586621679538752 #

Instances

(SingI d1, SingI d2) => SingI (UntilSym2 d1 d2 :: TyFun a a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (UntilSym2 d1 d2) #
SuppressUnusedWarnings (UntilSym2 a6989586621679538878 a6989586621679538877 :: TyFun a6989586621679538752 a6989586621679538752 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (UntilSym2 a6989586621679538878 a6989586621679538877 :: TyFun a a -> Type) (a6989586621679538879 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (UntilSym2 a6989586621679538878 a6989586621679538877 :: TyFun a a -> Type) (a6989586621679538879 :: a) = Until a6989586621679538878 a6989586621679538877 a6989586621679538879

type UntilSym3 (a6989586621679538877 :: (~>) a6989586621679538752 Bool) (a6989586621679538878 :: (~>) a6989586621679538752 a6989586621679538752) (a6989586621679538879 :: a6989586621679538752) = Until a6989586621679538877 a6989586621679538878 a6989586621679538879 #

data FlipSym0 :: forall a6989586621679538758 b6989586621679538759 c6989586621679538760. (~>) ((~>) a6989586621679538758 ((~>) b6989586621679538759 c6989586621679538760)) ((~>) b6989586621679538759 ((~>) a6989586621679538758 c6989586621679538760)) #

Instances

SingI (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing FlipSym0 #
SuppressUnusedWarnings (FlipSym0 :: TyFun (a6989586621679538758 ~> (b6989586621679538759 ~> c6989586621679538760)) (b6989586621679538759 ~> (a6989586621679538758 ~> c6989586621679538760)) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FlipSym0 :: TyFun (a6989586621679538758 ~> (b6989586621679538759 ~> c6989586621679538760)) (b6989586621679538759 ~> (a6989586621679538758 ~> c6989586621679538760)) -> Type) (a6989586621679538918 :: a6989586621679538758 ~> (b6989586621679538759 ~> c6989586621679538760)) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym0 :: TyFun (a6989586621679538758 ~> (b6989586621679538759 ~> c6989586621679538760)) (b6989586621679538759 ~> (a6989586621679538758 ~> c6989586621679538760)) -> Type) (a6989586621679538918 :: a6989586621679538758 ~> (b6989586621679538759 ~> c6989586621679538760)) = FlipSym1 a6989586621679538918

data FlipSym1 (a6989586621679538918 :: (~>) a6989586621679538758 ((~>) b6989586621679538759 c6989586621679538760)) :: (~>) b6989586621679538759 ((~>) a6989586621679538758 c6989586621679538760) #

Instances

SingI d => SingI (FlipSym1 d :: TyFun b (a ~> c) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (FlipSym1 d) #
SuppressUnusedWarnings (FlipSym1 a6989586621679538918 :: TyFun b6989586621679538759 (a6989586621679538758 ~> c6989586621679538760) -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FlipSym1 a6989586621679538918 :: TyFun b6989586621679538759 (a6989586621679538758 ~> c6989586621679538760) -> Type) (a6989586621679538919 :: b6989586621679538759) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym1 a6989586621679538918 :: TyFun b6989586621679538759 (a6989586621679538758 ~> c6989586621679538760) -> Type) (a6989586621679538919 :: b6989586621679538759) = FlipSym2 a6989586621679538918 a6989586621679538919

data FlipSym2 (a6989586621679538918 :: (~>) a6989586621679538758 ((~>) b6989586621679538759 c6989586621679538760)) (a6989586621679538919 :: b6989586621679538759) :: (~>) a6989586621679538758 c6989586621679538760 #

Instances

(SingI d1, SingI d2) => SingI (FlipSym2 d1 d2 :: TyFun a c -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (FlipSym2 d1 d2) #
SuppressUnusedWarnings (FlipSym2 a6989586621679538919 a6989586621679538918 :: TyFun a6989586621679538758 c6989586621679538760 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (FlipSym2 a6989586621679538919 a6989586621679538918 :: TyFun a c -> Type) (a6989586621679538920 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (FlipSym2 a6989586621679538919 a6989586621679538918 :: TyFun a c -> Type) (a6989586621679538920 :: a) = Flip a6989586621679538919 a6989586621679538918 a6989586621679538920

type FlipSym3 (a6989586621679538918 :: (~>) a6989586621679538758 ((~>) b6989586621679538759 c6989586621679538760)) (a6989586621679538919 :: b6989586621679538759) (a6989586621679538920 :: a6989586621679538758) = Flip a6989586621679538918 a6989586621679538919 a6989586621679538920 #

data AsTypeOfSym0 :: forall a6989586621679538757. (~>) a6989586621679538757 ((~>) a6989586621679538757 a6989586621679538757) #

Instances

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

data AsTypeOfSym1 (a6989586621679538955 :: a6989586621679538757) :: (~>) a6989586621679538757 a6989586621679538757 #

Instances

SingI d => SingI (AsTypeOfSym1 d :: TyFun a a -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (AsTypeOfSym1 d) #
SuppressUnusedWarnings (AsTypeOfSym1 a6989586621679538955 :: TyFun a6989586621679538757 a6989586621679538757 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (AsTypeOfSym1 a6989586621679538955 :: TyFun a a -> Type) (a6989586621679538956 :: a) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (AsTypeOfSym1 a6989586621679538955 :: TyFun a a -> Type) (a6989586621679538956 :: a) = AsTypeOf a6989586621679538955 a6989586621679538956

type AsTypeOfSym2 (a6989586621679538955 :: a6989586621679538757) (a6989586621679538956 :: a6989586621679538757) = AsTypeOf a6989586621679538955 a6989586621679538956 #

data SeqSym0 :: forall a6989586621679538750 b6989586621679538751. (~>) a6989586621679538750 ((~>) b6989586621679538751 b6989586621679538751) infixr 0 #

Instances

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

data SeqSym1 (a6989586621679538872 :: a6989586621679538750) :: forall b6989586621679538751. (~>) b6989586621679538751 b6989586621679538751 infixr 0 #

Instances

SingI d => SingI (SeqSym1 d b :: TyFun b b -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods sing :: Sing (SeqSym1 d b) #
SuppressUnusedWarnings (SeqSym1 a6989586621679538872 b6989586621679538751 :: TyFun b6989586621679538751 b6989586621679538751 -> Type) #
Instance details Defined in Data.Singletons.Prelude.Base Methods suppressUnusedWarnings :: () #
type Apply (SeqSym1 a6989586621679538872 b :: TyFun b b -> Type) (a6989586621679538873 :: b) #
Instance details Defined in Data.Singletons.Prelude.Base type Apply (SeqSym1 a6989586621679538872 b :: TyFun b b -> Type) (a6989586621679538873 :: b) = Seq a6989586621679538872 a6989586621679538873

type SeqSym2 (a6989586621679538872 :: a6989586621679538750) (a6989586621679538873 :: b6989586621679538751) = Seq a6989586621679538872 a6989586621679538873 #