Data.Singletons.Prelude.Base

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.

Basic functions

type family Foldr a a a where ...

Equations

Foldr k z a_6989586621679534224 = Apply (Let6989586621679534236GoSym3 k z a_6989586621679534224) a_6989586621679534224

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

Equations

Map _ '[] = NilSym0

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

Equations

Otherwise = TrueSym0

sOtherwise :: Sing (OtherwiseSym0 :: Bool)

type family Id a where ...

Equations

Id x = x

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

type family Const a 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 . a) a where ... infixr 9

Equations

(f . g) a_6989586621679534181 = Apply (Apply (Apply (Apply Lambda_6989586621679534193Sym0 f) g) a_6989586621679534181) a_6989586621679534181

(%.) :: 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 where ... infixr 0

Equations

f $ x = Apply f x

type family a $! a where ... infixr 0

Equations

f $! x = Apply f (Let6989586621679534151VxSym2 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 a where ...

Equations

Until p f a_6989586621679534123 = Apply (Let6989586621679534135GoSym3 p f a_6989586621679534123) a_6989586621679534123

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 a 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 where ...

Equations

AsTypeOf a_6989586621679534160 a_6989586621679534162 = Apply (Apply ConstSym0 a_6989586621679534160) a_6989586621679534162

sAsTypeOf :: forall a (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a)

type family Seq a a 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 a6989586621679534230

Instances

SingI (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing FoldrSym0

SuppressUnusedWarnings (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) (a6989586621679534230 :: a ~> (b ~> b))

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym0 :: TyFun (a ~> (b ~> b)) (b ~> ([a] ~> b)) -> Type) (a6989586621679534230 :: a ~> (b ~> b)) = FoldrSym1 a6989586621679534230

data FoldrSym1 a6989586621679534230 a6989586621679534231

Instances

SingI d => SingI (FoldrSym1 d :: TyFun b ([a] ~> b) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (FoldrSym1 d)

SuppressUnusedWarnings (FoldrSym1 a6989586621679534230 :: TyFun b ([a] ~> b) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrSym1 a6989586621679534230 :: TyFun b ([a] ~> b) -> Type) (a6989586621679534231 :: b)

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym1 a6989586621679534230 :: TyFun b ([a] ~> b) -> Type) (a6989586621679534231 :: b) = FoldrSym2 a6989586621679534230 a6989586621679534231

data FoldrSym2 a6989586621679534230 a6989586621679534231 a6989586621679534232

Instances

(SingI d1, SingI d2) => SingI (FoldrSym2 d1 d2 :: TyFun [a] b -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (FoldrSym2 d1 d2)

SuppressUnusedWarnings (FoldrSym2 a6989586621679534230 a6989586621679534231 :: TyFun [a] b -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (FoldrSym2 a6989586621679534230 a6989586621679534231 :: TyFun [a] b -> Type) (a6989586621679534232 :: [a])

Defined in Data.Singletons.Prelude.Base

type Apply (FoldrSym2 a6989586621679534230 a6989586621679534231 :: TyFun [a] b -> Type) (a6989586621679534232 :: [a]) = FoldrSym3 a6989586621679534230 a6989586621679534231 a6989586621679534232

type FoldrSym3 (a6989586621679534230 :: (~>) a ((~>) b b)) (a6989586621679534231 :: b) (a6989586621679534232 :: [a]) = Foldr a6989586621679534230 a6989586621679534231 a6989586621679534232 :: b

data MapSym0 a6989586621679534219

Instances

SingI (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing MapSym0

SuppressUnusedWarnings (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) (a6989586621679534219 :: a ~> b)

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym0 :: TyFun (a ~> b) ([a] ~> [b]) -> Type) (a6989586621679534219 :: a ~> b) = MapSym1 a6989586621679534219

data MapSym1 a6989586621679534219 a6989586621679534220

Instances

SingI d => SingI (MapSym1 d :: TyFun [a] [b] -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (MapSym1 d)

SuppressUnusedWarnings (MapSym1 a6989586621679534219 :: TyFun [a] [b] -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (MapSym1 a6989586621679534219 :: TyFun [a] [b] -> Type) (a6989586621679534220 :: [a])

Defined in Data.Singletons.Prelude.Base

type Apply (MapSym1 a6989586621679534219 :: TyFun [a] [b] -> Type) (a6989586621679534220 :: [a]) = MapSym2 a6989586621679534219 a6989586621679534220

type MapSym2 (a6989586621679534219 :: (~>) a b) (a6989586621679534220 :: [a]) = Map a6989586621679534219 a6989586621679534220 :: [b]

data (++@#@$) a6989586621679534210 infixr 5

Instances

SingI ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (++@#@$)

SuppressUnusedWarnings ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type) (a6989586621679534210 :: [a])

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$) :: TyFun [a] ([a] ~> [a]) -> Type) (a6989586621679534210 :: [a]) = (++@#@$$) a6989586621679534210

data a6989586621679534210 ++@#@$$ a6989586621679534211 infixr 5

Instances

SingI d => SingI ((++@#@$$) d :: TyFun [a] [a] -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing ((++@#@$$) d)

SuppressUnusedWarnings ((++@#@$$) a6989586621679534210 :: TyFun [a] [a] -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply ((++@#@$$) a6989586621679534210 :: TyFun [a] [a] -> Type) (a6989586621679534211 :: [a])

Defined in Data.Singletons.Prelude.Base

type Apply ((++@#@$$) a6989586621679534210 :: TyFun [a] [a] -> Type) (a6989586621679534211 :: [a]) = a6989586621679534210 ++@#@$$$ a6989586621679534211

type (++@#@$$$) (a6989586621679534210 :: [a]) (a6989586621679534211 :: [a]) = (++) a6989586621679534210 a6989586621679534211 :: [a] infixr 5

type OtherwiseSym0 = Otherwise :: Bool

data IdSym0 a6989586621679534205

Instances

SingI (IdSym0 :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing IdSym0

SuppressUnusedWarnings (IdSym0 :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679534205 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (IdSym0 :: TyFun a a -> Type) (a6989586621679534205 :: a) = IdSym1 a6989586621679534205

type IdSym1 (a6989586621679534205 :: a) = Id a6989586621679534205 :: a

data ConstSym0 a6989586621679534200

Instances

SingI (ConstSym0 :: TyFun a (b ~> a) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing ConstSym0

SuppressUnusedWarnings (ConstSym0 :: TyFun a (b ~> a) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (ConstSym0 :: TyFun a (b ~> a) -> Type) (a6989586621679534200 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym0 :: TyFun a (b ~> a) -> Type) (a6989586621679534200 :: a) = ConstSym1 a6989586621679534200 :: TyFun b a -> Type

data ConstSym1 a6989586621679534200 a6989586621679534201

Instances

SingI d => SingI (ConstSym1 d :: TyFun b a -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (ConstSym1 d)

SuppressUnusedWarnings (ConstSym1 a6989586621679534200 :: TyFun b a -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (ConstSym1 a6989586621679534200 :: TyFun b a -> Type) (a6989586621679534201 :: b)

Defined in Data.Singletons.Prelude.Base

type Apply (ConstSym1 a6989586621679534200 :: TyFun b a -> Type) (a6989586621679534201 :: b) = ConstSym2 a6989586621679534200 a6989586621679534201

type ConstSym2 (a6989586621679534200 :: a) (a6989586621679534201 :: b) = Const a6989586621679534200 a6989586621679534201 :: a

data (.@#@$) a6989586621679534187 infixr 9

Instances

SingI ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (.@#@$)

SuppressUnusedWarnings ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) (a6989586621679534187 :: b ~> c)

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$) :: TyFun (b ~> c) ((a ~> b) ~> (a ~> c)) -> Type) (a6989586621679534187 :: b ~> c) = (.@#@$$) a6989586621679534187 :: TyFun (a ~> b) (a ~> c) -> Type

data a6989586621679534187 .@#@$$ a6989586621679534188 infixr 9

Instances

SingI d => SingI ((.@#@$$) d :: TyFun (a ~> b) (a ~> c) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing ((.@#@$$) d)

SuppressUnusedWarnings ((.@#@$$) a6989586621679534187 :: TyFun (a ~> b) (a ~> c) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply ((.@#@$$) a6989586621679534187 :: TyFun (a ~> b) (a ~> c) -> Type) (a6989586621679534188 :: a ~> b)

Defined in Data.Singletons.Prelude.Base

type Apply ((.@#@$$) a6989586621679534187 :: TyFun (a ~> b) (a ~> c) -> Type) (a6989586621679534188 :: a ~> b) = a6989586621679534187 .@#@$$$ a6989586621679534188

data (a6989586621679534187 .@#@$$$ a6989586621679534188) a6989586621679534189 infixr 9

Instances

(SingI d1, SingI d2) => SingI (d1 .@#@$$$ d2 :: TyFun a c -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (d1 .@#@$$$ d2)

SuppressUnusedWarnings (a6989586621679534187 .@#@$$$ a6989586621679534188 :: TyFun a c -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (a6989586621679534187 .@#@$$$ a6989586621679534188 :: TyFun a c -> Type) (a6989586621679534189 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (a6989586621679534187 .@#@$$$ a6989586621679534188 :: TyFun a c -> Type) (a6989586621679534189 :: a) = (a6989586621679534187 .@#@$$$$ a6989586621679534188) a6989586621679534189

type (.@#@$$$$) (a6989586621679534187 :: (~>) b c) (a6989586621679534188 :: (~>) a b) (a6989586621679534189 :: a) = (.) a6989586621679534187 a6989586621679534188 a6989586621679534189 :: c infixr 9

data ($@#@$) a6989586621679534156 infixr 0

Instances

SingI (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing ($@#@$)

SuppressUnusedWarnings (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) (a6989586621679534156 :: a ~> b)

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) (a6989586621679534156 :: a ~> b) = ($@#@$$) a6989586621679534156

data a6989586621679534156 $@#@$$ a6989586621679534157 infixr 0

Instances

SingI d => SingI (($@#@$$) d :: TyFun a b -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (($@#@$$) d)

SuppressUnusedWarnings (($@#@$$) a6989586621679534156 :: TyFun a b -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (($@#@$$) a6989586621679534156 :: TyFun a b -> Type) (a6989586621679534157 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (($@#@$$) a6989586621679534156 :: TyFun a b -> Type) (a6989586621679534157 :: a) = a6989586621679534156 $@#@$$$ a6989586621679534157

type ($@#@$$$) (a6989586621679534156 :: (~>) a b) (a6989586621679534157 :: a) = ($) a6989586621679534156 a6989586621679534157 :: b infixr 0

data ($!@#@$) a6989586621679534147 infixr 0

Instances

SingI (($!@#@$) :: TyFun (a ~> b) (a ~> b) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing ($!@#@$)

SuppressUnusedWarnings (($!@#@$) :: TyFun (a ~> b) (a ~> b) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (($!@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) (a6989586621679534147 :: a ~> b)

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$) :: TyFun (a ~> b) (a ~> b) -> Type) (a6989586621679534147 :: a ~> b) = ($!@#@$$) a6989586621679534147

data a6989586621679534147 $!@#@$$ a6989586621679534148 infixr 0

Instances

SingI d => SingI (($!@#@$$) d :: TyFun a b -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (($!@#@$$) d)

SuppressUnusedWarnings (($!@#@$$) a6989586621679534147 :: TyFun a b -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (($!@#@$$) a6989586621679534147 :: TyFun a b -> Type) (a6989586621679534148 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (($!@#@$$) a6989586621679534147 :: TyFun a b -> Type) (a6989586621679534148 :: a) = a6989586621679534147 $!@#@$$$ a6989586621679534148

type ($!@#@$$$) (a6989586621679534147 :: (~>) a b) (a6989586621679534148 :: a) = ($!) a6989586621679534147 a6989586621679534148 :: b infixr 0

data UntilSym0 a6989586621679534129

Instances

SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing UntilSym0

SuppressUnusedWarnings (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) (a6989586621679534129 :: a ~> Bool)

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) (a6989586621679534129 :: a ~> Bool) = UntilSym1 a6989586621679534129

data UntilSym1 a6989586621679534129 a6989586621679534130

Instances

SingI d => SingI (UntilSym1 d :: TyFun (a ~> a) (a ~> a) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (UntilSym1 d)

SuppressUnusedWarnings (UntilSym1 a6989586621679534129 :: TyFun (a ~> a) (a ~> a) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (UntilSym1 a6989586621679534129 :: TyFun (a ~> a) (a ~> a) -> Type) (a6989586621679534130 :: a ~> a)

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym1 a6989586621679534129 :: TyFun (a ~> a) (a ~> a) -> Type) (a6989586621679534130 :: a ~> a) = UntilSym2 a6989586621679534129 a6989586621679534130

data UntilSym2 a6989586621679534129 a6989586621679534130 a6989586621679534131

Instances

(SingI d1, SingI d2) => SingI (UntilSym2 d1 d2 :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (UntilSym2 d1 d2)

SuppressUnusedWarnings (UntilSym2 a6989586621679534129 a6989586621679534130 :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (UntilSym2 a6989586621679534129 a6989586621679534130 :: TyFun a a -> Type) (a6989586621679534131 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (UntilSym2 a6989586621679534129 a6989586621679534130 :: TyFun a a -> Type) (a6989586621679534131 :: a) = UntilSym3 a6989586621679534129 a6989586621679534130 a6989586621679534131

type UntilSym3 (a6989586621679534129 :: (~>) a Bool) (a6989586621679534130 :: (~>) a a) (a6989586621679534131 :: a) = Until a6989586621679534129 a6989586621679534130 a6989586621679534131 :: a

data FlipSym0 a6989586621679534175

Instances

SingI (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing FlipSym0

SuppressUnusedWarnings (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) (a6989586621679534175 :: a ~> (b ~> c))

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym0 :: TyFun (a ~> (b ~> c)) (b ~> (a ~> c)) -> Type) (a6989586621679534175 :: a ~> (b ~> c)) = FlipSym1 a6989586621679534175

data FlipSym1 a6989586621679534175 a6989586621679534176

Instances

SingI d => SingI (FlipSym1 d :: TyFun b (a ~> c) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (FlipSym1 d)

SuppressUnusedWarnings (FlipSym1 a6989586621679534175 :: TyFun b (a ~> c) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (FlipSym1 a6989586621679534175 :: TyFun b (a ~> c) -> Type) (a6989586621679534176 :: b)

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym1 a6989586621679534175 :: TyFun b (a ~> c) -> Type) (a6989586621679534176 :: b) = FlipSym2 a6989586621679534175 a6989586621679534176

data FlipSym2 a6989586621679534175 a6989586621679534176 a6989586621679534177

Instances

(SingI d1, SingI d2) => SingI (FlipSym2 d1 d2 :: TyFun a c -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (FlipSym2 d1 d2)

SuppressUnusedWarnings (FlipSym2 a6989586621679534175 a6989586621679534176 :: TyFun a c -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (FlipSym2 a6989586621679534175 a6989586621679534176 :: TyFun a c -> Type) (a6989586621679534177 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (FlipSym2 a6989586621679534175 a6989586621679534176 :: TyFun a c -> Type) (a6989586621679534177 :: a) = FlipSym3 a6989586621679534175 a6989586621679534176 a6989586621679534177

type FlipSym3 (a6989586621679534175 :: (~>) a ((~>) b c)) (a6989586621679534176 :: b) (a6989586621679534177 :: a) = Flip a6989586621679534175 a6989586621679534176 a6989586621679534177 :: c

data AsTypeOfSym0 a6989586621679534167

Instances

SingI (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing AsTypeOfSym0

SuppressUnusedWarnings (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type) (a6989586621679534167 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym0 :: TyFun a (a ~> a) -> Type) (a6989586621679534167 :: a) = AsTypeOfSym1 a6989586621679534167

data AsTypeOfSym1 a6989586621679534167 a6989586621679534168

Instances

SingI d => SingI (AsTypeOfSym1 d :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (AsTypeOfSym1 d)

SuppressUnusedWarnings (AsTypeOfSym1 a6989586621679534167 :: TyFun a a -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (AsTypeOfSym1 a6989586621679534167 :: TyFun a a -> Type) (a6989586621679534168 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (AsTypeOfSym1 a6989586621679534167 :: TyFun a a -> Type) (a6989586621679534168 :: a) = AsTypeOfSym2 a6989586621679534167 a6989586621679534168

type AsTypeOfSym2 (a6989586621679534167 :: a) (a6989586621679534168 :: a) = AsTypeOf a6989586621679534167 a6989586621679534168 :: a

data SeqSym0 a6989586621679534120 infixr 0

Instances

SingI (SeqSym0 :: TyFun a (b ~> b) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing SeqSym0

SuppressUnusedWarnings (SeqSym0 :: TyFun a (b ~> b) -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (SeqSym0 :: TyFun a (b ~> b) -> Type) (a6989586621679534120 :: a)

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym0 :: TyFun a (b ~> b) -> Type) (a6989586621679534120 :: a) = SeqSym1 a6989586621679534120 :: TyFun b b -> Type

data SeqSym1 a6989586621679534120 a6989586621679534121 infixr 0

Instances

SingI d => SingI (SeqSym1 d :: TyFun b b -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

sing :: Sing (SeqSym1 d)

SuppressUnusedWarnings (SeqSym1 a6989586621679534120 :: TyFun b b -> Type)

Defined in Data.Singletons.Prelude.Base

Methods

suppressUnusedWarnings :: ()

type Apply (SeqSym1 a6989586621679534120 :: TyFun b b -> Type) (a6989586621679534121 :: b)

Defined in Data.Singletons.Prelude.Base

type Apply (SeqSym1 a6989586621679534120 :: TyFun b b -> Type) (a6989586621679534121 :: b) = SeqSym2 a6989586621679534120 a6989586621679534121

type SeqSym2 (a6989586621679534120 :: a) (a6989586621679534121 :: b) = Seq a6989586621679534120 a6989586621679534121 :: b infixr 0