Copyright	(C) 2018 Ryan Scott
License	BSD-style (see LICENSE)
Maintainer	Ryan Scott
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Singletons.Prelude.Functor

Contents

Defunctionalization symbols
Orphan instances

Description

Defines the promoted and singled versions of the Functor type class.

Synopsis

class PFunctor (f :: Type -> Type) where
- type Fmap (arg :: (~>) a b) (arg :: f a) :: f b
- type (arg :: a) <$ (arg :: f b) :: f a
class SFunctor (f :: Type -> Type) where
- sFmap :: forall a b (t :: (~>) a b) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t :: f b)
- (%<$) :: forall a b (t :: a) (t :: f b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t :: f a)
type family (a :: f a) $> (a :: b) :: f b where ...
(%$>) :: forall f a b (t :: f a) (t :: b). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply ($>@#@$) t) t :: f b)
type family (a :: (~>) a b) <$> (a :: f a) :: f b where ...
(%<$>) :: forall a b f (t :: (~>) a b) (t :: f a). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply (<$>@#@$) t) t :: f b)
type family (a :: f a) <&> (a :: (~>) a b) :: f b where ...
(%<&>) :: forall f a b (t :: f a) (t :: (~>) a b). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply (<&>@#@$) t) t :: f b)
type family Void (a :: f a) :: f () where ...
sVoid :: forall f a (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ())
data FmapSym0 :: forall a6989586621679570820 b6989586621679570821 f6989586621679570819. (~>) ((~>) a6989586621679570820 b6989586621679570821) ((~>) (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821))
data FmapSym1 (arg6989586621679571211 :: (~>) a6989586621679570820 b6989586621679570821) :: forall f6989586621679570819. (~>) (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821)
type FmapSym2 (arg6989586621679571211 :: (~>) a6989586621679570820 b6989586621679570821) (arg6989586621679571212 :: f6989586621679570819 a6989586621679570820) = Fmap arg6989586621679571211 arg6989586621679571212
data (<$@#@$) :: forall a6989586621679570822 f6989586621679570819 b6989586621679570823. (~>) a6989586621679570822 ((~>) (f6989586621679570819 b6989586621679570823) (f6989586621679570819 a6989586621679570822))
data (<$@#@$$) (arg6989586621679571215 :: a6989586621679570822) :: forall f6989586621679570819 b6989586621679570823. (~>) (f6989586621679570819 b6989586621679570823) (f6989586621679570819 a6989586621679570822)
type (<$@#@$$$) (arg6989586621679571215 :: a6989586621679570822) (arg6989586621679571216 :: f6989586621679570819 b6989586621679570823) = (<$) arg6989586621679571215 arg6989586621679571216
data ($>@#@$) :: forall f6989586621679740989 a6989586621679740990 b6989586621679740991. (~>) (f6989586621679740989 a6989586621679740990) ((~>) b6989586621679740991 (f6989586621679740989 b6989586621679740991))
data ($>@#@$$) (a6989586621679741061 :: f6989586621679740989 a6989586621679740990) :: forall b6989586621679740991. (~>) b6989586621679740991 (f6989586621679740989 b6989586621679740991)
type ($>@#@$$$) (a6989586621679741061 :: f6989586621679740989 a6989586621679740990) (a6989586621679741062 :: b6989586621679740991) = ($>) a6989586621679741061 a6989586621679741062
data (<$>@#@$) :: forall a6989586621679740996 b6989586621679740997 f6989586621679740995. (~>) ((~>) a6989586621679740996 b6989586621679740997) ((~>) (f6989586621679740995 a6989586621679740996) (f6989586621679740995 b6989586621679740997))
data (<$>@#@$$) (a6989586621679741077 :: (~>) a6989586621679740996 b6989586621679740997) :: forall f6989586621679740995. (~>) (f6989586621679740995 a6989586621679740996) (f6989586621679740995 b6989586621679740997)
type (<$>@#@$$$) (a6989586621679741077 :: (~>) a6989586621679740996 b6989586621679740997) (a6989586621679741078 :: f6989586621679740995 a6989586621679740996) = (<$>) a6989586621679741077 a6989586621679741078
data (<&>@#@$) :: forall f6989586621679740992 a6989586621679740993 b6989586621679740994. (~>) (f6989586621679740992 a6989586621679740993) ((~>) ((~>) a6989586621679740993 b6989586621679740994) (f6989586621679740992 b6989586621679740994))
data (<&>@#@$$) (a6989586621679741067 :: f6989586621679740992 a6989586621679740993) :: forall b6989586621679740994. (~>) ((~>) a6989586621679740993 b6989586621679740994) (f6989586621679740992 b6989586621679740994)
type (<&>@#@$$$) (a6989586621679741067 :: f6989586621679740992 a6989586621679740993) (a6989586621679741068 :: (~>) a6989586621679740993 b6989586621679740994) = (<&>) a6989586621679741067 a6989586621679741068
data VoidSym0 :: forall f6989586621679740987 a6989586621679740988. (~>) (f6989586621679740987 a6989586621679740988) (f6989586621679740987 ())
type VoidSym1 (a6989586621679741054 :: f6989586621679740987 a6989586621679740988) = Void a6989586621679741054

Documentation

class PFunctor (f :: Type -> Type) Source #

Associated Types

type Fmap (arg :: (~>) a b) (arg :: f a) :: f b Source #

type (arg :: a) <$ (arg :: f b) :: f a infixl 4 Source #

type (<$) a a = Apply (Apply TFHelper_6989586621679571221Sym0 a) a Source #

Instances

Instances details

PFunctor [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Min Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Max Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor First Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Last Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Identity Source #
Instance details Defined in Data.Singletons.Prelude.Identity Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor First Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Last Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Dual Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Sum Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Product Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor Down Source #
Instance details Defined in Data.Singletons.Prelude.Functor Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor (Either a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor ((,) a) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor (Arg a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
PFunctor (Const m :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Const Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #

class SFunctor (f :: Type -> Type) where Source #

Minimal complete definition

sFmap

Methods

sFmap :: forall a b (t :: (~>) a b) (t :: f a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t :: f b) Source #

(%<$) :: forall a b (t :: a) (t :: f b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t :: f a) infixl 4 Source #

default (%<$) :: forall a b (t :: a) (t :: f b). (Apply (Apply (<$@#@$) t) t :: f a) ~ Apply (Apply TFHelper_6989586621679571221Sym0 t) t => Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t :: f a) Source #

Instances

Instances details

SFunctor [] Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Maybe Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: Maybe a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Maybe b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Min Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: Min a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Min b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Max Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: Max a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Max b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor First Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Last Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Option Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a b (t :: a ~> b) (t :: Option a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Option b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Identity Source #
Instance details Defined in Data.Singletons.Prelude.Identity Methods sFmap :: forall a b (t :: a ~> b) (t :: Identity a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Identity b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor First Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sFmap :: forall a b (t :: a ~> b) (t :: First a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: First b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Last Source #
Instance details Defined in Data.Singletons.Prelude.Monoid Methods sFmap :: forall a b (t :: a ~> b) (t :: Last a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Last b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Dual Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: Dual a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Dual b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Sum Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: Sum a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Sum b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Product Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: Product a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Product b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor Down Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sFmap :: forall a b (t :: a ~> b) (t :: Down a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Down b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor NonEmpty Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sFmap :: forall a b (t :: a ~> b) (t :: NonEmpty a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: NonEmpty b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor (Either a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sFmap :: forall a0 b (t :: a0 ~> b) (t :: Either a a0). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a0 b (t :: a0) (t :: Either a b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor ((,) a) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sFmap :: forall a0 b (t :: a0 ~> b) (t :: (a, a0)). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a0 b (t :: a0) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor (Arg a) Source #
Instance details Defined in Data.Singletons.Prelude.Semigroup Methods sFmap :: forall a0 b (t :: a0 ~> b) (t :: Arg a a0). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a0 b (t :: a0) (t :: Arg a b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
SFunctor (Const m :: Type -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Const Methods sFmap :: forall a b (t :: a ~> b) (t :: Const m a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Const m b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #

type family (a :: f a) $> (a :: b) :: f b where ... infixl 4 Source #

Equations

a_6989586621679741057 $> a_6989586621679741059 = Apply (Apply (Apply FlipSym0 (<$@#@$)) a_6989586621679741057) a_6989586621679741059

(%$>) :: forall f a b (t :: f a) (t :: b). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply ($>@#@$) t) t :: f b) infixl 4 Source #

type family (a :: (~>) a b) <$> (a :: f a) :: f b where ... infixl 4 Source #

Equations

a_6989586621679741073 <$> a_6989586621679741075 = Apply (Apply FmapSym0 a_6989586621679741073) a_6989586621679741075

(%<$>) :: forall a b f (t :: (~>) a b) (t :: f a). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply (<$>@#@$) t) t :: f b) infixl 4 Source #

type family (a :: f a) <&> (a :: (~>) a b) :: f b where ... infixl 1 Source #

Equations

as <&> f = Apply (Apply (<$>@#@$) f) as

(%<&>) :: forall f a b (t :: f a) (t :: (~>) a b). SFunctor f => Sing t -> Sing t -> Sing (Apply (Apply (<&>@#@$) t) t :: f b) infixl 1 Source #

type family Void (a :: f a) :: f () where ... Source #

Equations

Void x = Apply (Apply (<$@#@$) Tuple0Sym0) x

sVoid :: forall f a (t :: f a). SFunctor f => Sing t -> Sing (Apply VoidSym0 t :: f ()) Source #

Defunctionalization symbols

data FmapSym0 :: forall a6989586621679570820 b6989586621679570821 f6989586621679570819. (~>) ((~>) a6989586621679570820 b6989586621679570821) ((~>) (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821)) Source #

Instances

Instances details

SFunctor f => SingI (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing FmapSym0 Source #
SuppressUnusedWarnings (FmapSym0 :: TyFun (a6989586621679570820 ~> b6989586621679570821) (f6989586621679570819 a6989586621679570820 ~> f6989586621679570819 b6989586621679570821) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (FmapSym0 :: TyFun (a6989586621679570820 ~> b6989586621679570821) (f6989586621679570819 a6989586621679570820 ~> f6989586621679570819 b6989586621679570821) -> Type) (arg6989586621679571211 :: a6989586621679570820 ~> b6989586621679570821) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym0 :: TyFun (a6989586621679570820 ~> b6989586621679570821) (f6989586621679570819 a6989586621679570820 ~> f6989586621679570819 b6989586621679570821) -> Type) (arg6989586621679571211 :: a6989586621679570820 ~> b6989586621679570821) = FmapSym1 arg6989586621679571211 f6989586621679570819 :: TyFun (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821) -> Type

data FmapSym1 (arg6989586621679571211 :: (~>) a6989586621679570820 b6989586621679570821) :: forall f6989586621679570819. (~>) (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821) Source #

Instances

Instances details

(SFunctor f, SingI d) => SingI (FmapSym1 d f :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (FmapSym1 d f) Source #
SuppressUnusedWarnings (FmapSym1 arg6989586621679571211 f6989586621679570819 :: TyFun (f6989586621679570819 a6989586621679570820) (f6989586621679570819 b6989586621679570821) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply (FmapSym1 arg6989586621679571211 f :: TyFun (f a) (f b) -> Type) (arg6989586621679571212 :: f a) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply (FmapSym1 arg6989586621679571211 f :: TyFun (f a) (f b) -> Type) (arg6989586621679571212 :: f a) = Fmap arg6989586621679571211 arg6989586621679571212

type FmapSym2 (arg6989586621679571211 :: (~>) a6989586621679570820 b6989586621679570821) (arg6989586621679571212 :: f6989586621679570819 a6989586621679570820) = Fmap arg6989586621679571211 arg6989586621679571212 Source #

data (<$@#@$) :: forall a6989586621679570822 f6989586621679570819 b6989586621679570823. (~>) a6989586621679570822 ((~>) (f6989586621679570819 b6989586621679570823) (f6989586621679570819 a6989586621679570822)) infixl 4 Source #

Instances

Instances details

SFunctor f => SingI ((<$@#@$) :: TyFun a (f b ~> f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing (<$@#@$) Source #
SuppressUnusedWarnings ((<$@#@$) :: TyFun a6989586621679570822 (f6989586621679570819 b6989586621679570823 ~> f6989586621679570819 a6989586621679570822) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((<$@#@$) :: TyFun a6989586621679570822 (f6989586621679570819 b6989586621679570823 ~> f6989586621679570819 a6989586621679570822) -> Type) (arg6989586621679571215 :: a6989586621679570822) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((<$@#@$) :: TyFun a6989586621679570822 (f6989586621679570819 b6989586621679570823 ~> f6989586621679570819 a6989586621679570822) -> Type) (arg6989586621679571215 :: a6989586621679570822) = (arg6989586621679571215 <$@#@$$ f6989586621679570819) b6989586621679570823 :: TyFun (f6989586621679570819 b6989586621679570823) (f6989586621679570819 a6989586621679570822) -> Type

data (<$@#@$$) (arg6989586621679571215 :: a6989586621679570822) :: forall f6989586621679570819 b6989586621679570823. (~>) (f6989586621679570819 b6989586621679570823) (f6989586621679570819 a6989586621679570822) infixl 4 Source #

Instances

Instances details

(SFunctor f, SingI d) => SingI ((d <$@#@$$ f) b :: TyFun (f b) (f a) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods sing :: Sing ((d <$@#@$$ f) b) Source #
SuppressUnusedWarnings ((arg6989586621679571215 <$@#@$$ f6989586621679570819) b6989586621679570823 :: TyFun (f6989586621679570819 b6989586621679570823) (f6989586621679570819 a6989586621679570822) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal Methods suppressUnusedWarnings :: () Source #
type Apply ((arg6989586621679571215 <$@#@$$ f) b :: TyFun (f b) (f a) -> Type) (arg6989586621679571216 :: f b) Source #
Instance details Defined in Data.Singletons.Prelude.Monad.Internal type Apply ((arg6989586621679571215 <$@#@$$ f) b :: TyFun (f b) (f a) -> Type) (arg6989586621679571216 :: f b) = arg6989586621679571215 <$ arg6989586621679571216

type (<$@#@$$$) (arg6989586621679571215 :: a6989586621679570822) (arg6989586621679571216 :: f6989586621679570819 b6989586621679570823) = (<$) arg6989586621679571215 arg6989586621679571216 Source #

data ($>@#@$) :: forall f6989586621679740989 a6989586621679740990 b6989586621679740991. (~>) (f6989586621679740989 a6989586621679740990) ((~>) b6989586621679740991 (f6989586621679740989 b6989586621679740991)) infixl 4 Source #

Instances

Instances details

SFunctor f => SingI (($>@#@$) :: TyFun (f a) (b ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sing :: Sing ($>@#@$) Source #
SuppressUnusedWarnings (($>@#@$) :: TyFun (f6989586621679740989 a6989586621679740990) (b6989586621679740991 ~> f6989586621679740989 b6989586621679740991) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
type Apply (($>@#@$) :: TyFun (f6989586621679740989 a6989586621679740990) (b6989586621679740991 ~> f6989586621679740989 b6989586621679740991) -> Type) (a6989586621679741061 :: f6989586621679740989 a6989586621679740990) Source #
Instance details Defined in Data.Singletons.Prelude.Functor type Apply (($>@#@$) :: TyFun (f6989586621679740989 a6989586621679740990) (b6989586621679740991 ~> f6989586621679740989 b6989586621679740991) -> Type) (a6989586621679741061 :: f6989586621679740989 a6989586621679740990) = a6989586621679741061 $>@#@$$ b6989586621679740991 :: TyFun b6989586621679740991 (f6989586621679740989 b6989586621679740991) -> Type

data ($>@#@$$) (a6989586621679741061 :: f6989586621679740989 a6989586621679740990) :: forall b6989586621679740991. (~>) b6989586621679740991 (f6989586621679740989 b6989586621679740991) infixl 4 Source #

Instances

Instances details

(SFunctor f, SingI d) => SingI (d $>@#@$$ b :: TyFun b (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sing :: Sing (d $>@#@$$ b) Source #
SuppressUnusedWarnings (a6989586621679741061 $>@#@$$ b6989586621679740991 :: TyFun b6989586621679740991 (f6989586621679740989 b6989586621679740991) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679741061 $>@#@$$ b :: TyFun b (f b) -> Type) (a6989586621679741062 :: b) Source #
Instance details Defined in Data.Singletons.Prelude.Functor type Apply (a6989586621679741061 $>@#@$$ b :: TyFun b (f b) -> Type) (a6989586621679741062 :: b) = a6989586621679741061 $> a6989586621679741062

type ($>@#@$$$) (a6989586621679741061 :: f6989586621679740989 a6989586621679740990) (a6989586621679741062 :: b6989586621679740991) = ($>) a6989586621679741061 a6989586621679741062 Source #

data (<$>@#@$) :: forall a6989586621679740996 b6989586621679740997 f6989586621679740995. (~>) ((~>) a6989586621679740996 b6989586621679740997) ((~>) (f6989586621679740995 a6989586621679740996) (f6989586621679740995 b6989586621679740997)) infixl 4 Source #

Instances

Instances details

SFunctor f => SingI ((<$>@#@$) :: TyFun (a ~> b) (f a ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sing :: Sing (<$>@#@$) Source #
SuppressUnusedWarnings ((<$>@#@$) :: TyFun (a6989586621679740996 ~> b6989586621679740997) (f6989586621679740995 a6989586621679740996 ~> f6989586621679740995 b6989586621679740997) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
type Apply ((<$>@#@$) :: TyFun (a6989586621679740996 ~> b6989586621679740997) (f6989586621679740995 a6989586621679740996 ~> f6989586621679740995 b6989586621679740997) -> Type) (a6989586621679741077 :: a6989586621679740996 ~> b6989586621679740997) Source #
Instance details Defined in Data.Singletons.Prelude.Functor type Apply ((<$>@#@$) :: TyFun (a6989586621679740996 ~> b6989586621679740997) (f6989586621679740995 a6989586621679740996 ~> f6989586621679740995 b6989586621679740997) -> Type) (a6989586621679741077 :: a6989586621679740996 ~> b6989586621679740997) = a6989586621679741077 <$>@#@$$ f6989586621679740995 :: TyFun (f6989586621679740995 a6989586621679740996) (f6989586621679740995 b6989586621679740997) -> Type

data (<$>@#@$$) (a6989586621679741077 :: (~>) a6989586621679740996 b6989586621679740997) :: forall f6989586621679740995. (~>) (f6989586621679740995 a6989586621679740996) (f6989586621679740995 b6989586621679740997) infixl 4 Source #

Instances

Instances details

(SFunctor f, SingI d) => SingI (d <$>@#@$$ f :: TyFun (f a) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sing :: Sing (d <$>@#@$$ f) Source #
SuppressUnusedWarnings (a6989586621679741077 <$>@#@$$ f6989586621679740995 :: TyFun (f6989586621679740995 a6989586621679740996) (f6989586621679740995 b6989586621679740997) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679741077 <$>@#@$$ f :: TyFun (f a) (f b) -> Type) (a6989586621679741078 :: f a) Source #
Instance details Defined in Data.Singletons.Prelude.Functor type Apply (a6989586621679741077 <$>@#@$$ f :: TyFun (f a) (f b) -> Type) (a6989586621679741078 :: f a) = a6989586621679741077 <$> a6989586621679741078

type (<$>@#@$$$) (a6989586621679741077 :: (~>) a6989586621679740996 b6989586621679740997) (a6989586621679741078 :: f6989586621679740995 a6989586621679740996) = (<$>) a6989586621679741077 a6989586621679741078 Source #

data (<&>@#@$) :: forall f6989586621679740992 a6989586621679740993 b6989586621679740994. (~>) (f6989586621679740992 a6989586621679740993) ((~>) ((~>) a6989586621679740993 b6989586621679740994) (f6989586621679740992 b6989586621679740994)) infixl 1 Source #

Instances

Instances details

SFunctor f => SingI ((<&>@#@$) :: TyFun (f a) ((a ~> b) ~> f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sing :: Sing (<&>@#@$) Source #
SuppressUnusedWarnings ((<&>@#@$) :: TyFun (f6989586621679740992 a6989586621679740993) ((a6989586621679740993 ~> b6989586621679740994) ~> f6989586621679740992 b6989586621679740994) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
type Apply ((<&>@#@$) :: TyFun (f6989586621679740992 a6989586621679740993) ((a6989586621679740993 ~> b6989586621679740994) ~> f6989586621679740992 b6989586621679740994) -> Type) (a6989586621679741067 :: f6989586621679740992 a6989586621679740993) Source #
Instance details Defined in Data.Singletons.Prelude.Functor type Apply ((<&>@#@$) :: TyFun (f6989586621679740992 a6989586621679740993) ((a6989586621679740993 ~> b6989586621679740994) ~> f6989586621679740992 b6989586621679740994) -> Type) (a6989586621679741067 :: f6989586621679740992 a6989586621679740993) = a6989586621679741067 <&>@#@$$ b6989586621679740994 :: TyFun (a6989586621679740993 ~> b6989586621679740994) (f6989586621679740992 b6989586621679740994) -> Type

data (<&>@#@$$) (a6989586621679741067 :: f6989586621679740992 a6989586621679740993) :: forall b6989586621679740994. (~>) ((~>) a6989586621679740993 b6989586621679740994) (f6989586621679740992 b6989586621679740994) infixl 1 Source #

Instances

Instances details

(SFunctor f, SingI d) => SingI (d <&>@#@$$ b :: TyFun (a ~> b) (f b) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sing :: Sing (d <&>@#@$$ b) Source #
SuppressUnusedWarnings (a6989586621679741067 <&>@#@$$ b6989586621679740994 :: TyFun (a6989586621679740993 ~> b6989586621679740994) (f6989586621679740992 b6989586621679740994) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
type Apply (a6989586621679741067 <&>@#@$$ b :: TyFun (a ~> b) (f b) -> Type) (a6989586621679741068 :: a ~> b) Source #
Instance details Defined in Data.Singletons.Prelude.Functor type Apply (a6989586621679741067 <&>@#@$$ b :: TyFun (a ~> b) (f b) -> Type) (a6989586621679741068 :: a ~> b) = a6989586621679741067 <&> a6989586621679741068

type (<&>@#@$$$) (a6989586621679741067 :: f6989586621679740992 a6989586621679740993) (a6989586621679741068 :: (~>) a6989586621679740993 b6989586621679740994) = (<&>) a6989586621679741067 a6989586621679741068 Source #

data VoidSym0 :: forall f6989586621679740987 a6989586621679740988. (~>) (f6989586621679740987 a6989586621679740988) (f6989586621679740987 ()) Source #

Instances

Instances details

SFunctor f => SingI (VoidSym0 :: TyFun (f a) (f ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods sing :: Sing VoidSym0 Source #
SuppressUnusedWarnings (VoidSym0 :: TyFun (f6989586621679740987 a6989586621679740988) (f6989586621679740987 ()) -> Type) Source #
Instance details Defined in Data.Singletons.Prelude.Functor Methods suppressUnusedWarnings :: () Source #
type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679741054 :: f a) Source #
Instance details Defined in Data.Singletons.Prelude.Functor type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679741054 :: f a) = Void a6989586621679741054

type VoidSym1 (a6989586621679741054 :: f6989586621679740987 a6989586621679740988) = Void a6989586621679741054 Source #

Orphan instances

SFunctor Down Source #
Instance details Methods sFmap :: forall a b (t :: a ~> b) (t :: Down a). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a b (t :: a) (t :: Down b). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
PFunctor Down Source #
Instance details Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #
SFunctor ((,) a) Source #
Instance details Methods sFmap :: forall a0 b (t :: a0 ~> b) (t :: (a, a0)). Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t) Source # (%<$) :: forall a0 b (t :: a0) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t) Source #
PFunctor ((,) a) Source #
Instance details Associated Types type Fmap arg arg :: f b Source # type arg <$ arg :: f a Source #