Data.Functor.Singletons

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

Documentation

class PFunctor (f :: Type -> Type)

Associated Types

type Fmap (arg :: a ~> b) (arg1 :: f a) :: f b

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

type (arg :: a) <$ (arg1 :: f b) = TFHelper_6989586621679271236 arg arg1

Instances

PFunctor First

Defined in Data.Semigroup.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)

Defined in Data.Semigroup.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)

type (a2 :: a1) <$ (a3 :: First b)

Defined in Data.Semigroup.Singletons

type (a2 :: a1) <$ (a3 :: First b)

PFunctor Last

Defined in Data.Semigroup.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)

Defined in Data.Semigroup.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)

type (a2 :: a1) <$ (a3 :: Last b)

Defined in Data.Semigroup.Singletons

type (a2 :: a1) <$ (a3 :: Last b)

PFunctor Max

Defined in Data.Semigroup.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Max a1)

Defined in Data.Semigroup.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Max a1)

type (a2 :: a1) <$ (a3 :: Max b)

Defined in Data.Semigroup.Singletons

type (a2 :: a1) <$ (a3 :: Max b)

PFunctor Min

Defined in Data.Semigroup.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Min a1)

Defined in Data.Semigroup.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Min a1)

type (a2 :: a1) <$ (a3 :: Min b)

Defined in Data.Semigroup.Singletons

type (a2 :: a1) <$ (a3 :: Min b)

PFunctor NonEmpty

Defined in Control.Monad.Singletons.Internal

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: NonEmpty a1)

Defined in Control.Monad.Singletons.Internal

type Fmap (a2 :: a1 ~> b) (a3 :: NonEmpty a1)

type (a2 :: a1) <$ (a3 :: NonEmpty b)

Defined in Control.Monad.Singletons.Internal

type (a2 :: a1) <$ (a3 :: NonEmpty b)

PFunctor Identity

Defined in Data.Functor.Identity.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Identity a1)

Defined in Data.Functor.Identity.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Identity a1)

type (a2 :: a1) <$ (a3 :: Identity b)

Defined in Data.Functor.Identity.Singletons

type (a2 :: a1) <$ (a3 :: Identity b)

PFunctor First

Defined in Data.Monoid.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)

Defined in Data.Monoid.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: First a1)

type (a2 :: a1) <$ (a3 :: First b)

Defined in Data.Monoid.Singletons

type (a2 :: a1) <$ (a3 :: First b)

PFunctor Last

Defined in Data.Monoid.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)

Defined in Data.Monoid.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Last a1)

type (a2 :: a1) <$ (a3 :: Last b)

Defined in Data.Monoid.Singletons

type (a2 :: a1) <$ (a3 :: Last b)

PFunctor Down

Defined in Data.Functor.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Down a1)

Defined in Data.Functor.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Down a1)

type (a2 :: a1) <$ (a3 :: Down b)

Defined in Data.Functor.Singletons

type (a2 :: a1) <$ (a3 :: Down b)

PFunctor Dual

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Dual a1)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Fmap (a2 :: a1 ~> b) (a3 :: Dual a1)

type (a2 :: a1) <$ (a3 :: Dual b)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type (a2 :: a1) <$ (a3 :: Dual b)

PFunctor Product

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Product a1)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Fmap (a2 :: a1 ~> b) (a3 :: Product a1)

type (a2 :: a1) <$ (a3 :: Product b)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type (a2 :: a1) <$ (a3 :: Product b)

PFunctor Sum

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Sum a1)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type Fmap (a2 :: a1 ~> b) (a3 :: Sum a1)

type (a2 :: a1) <$ (a3 :: Sum b)

Defined in Data.Semigroup.Singletons.Internal.Wrappers

type (a2 :: a1) <$ (a3 :: Sum b)

PFunctor Maybe

Defined in Control.Monad.Singletons.Internal

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Maybe a1)

Defined in Control.Monad.Singletons.Internal

type Fmap (a2 :: a1 ~> b) (a3 :: Maybe a1)

type (a2 :: a1) <$ (a3 :: Maybe b)

Defined in Control.Monad.Singletons.Internal

type (a2 :: a1) <$ (a3 :: Maybe b)

PFunctor []

Defined in Control.Monad.Singletons.Internal

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: [a1])

Defined in Control.Monad.Singletons.Internal

type Fmap (a2 :: a1 ~> b) (a3 :: [a1])

type (a2 :: a1) <$ (a3 :: [b])

Defined in Control.Monad.Singletons.Internal

type (a2 :: a1) <$ (a3 :: [b])

PFunctor (Arg a)

Defined in Data.Semigroup.Singletons

PFunctor (Either a)

Defined in Control.Monad.Singletons.Internal

PFunctor (Proxy :: Type -> Type)

Defined in Data.Proxy.Singletons

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Proxy a1)

Defined in Data.Proxy.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Proxy a1)

type (arg :: a) <$ (arg1 :: Proxy b)

Defined in Data.Proxy.Singletons

type (arg :: a) <$ (arg1 :: Proxy b)

PFunctor ((,) a)

Defined in Data.Functor.Singletons

PFunctor (Const m :: Type -> Type)

Defined in Data.Functor.Const.Singletons

PFunctor (Product f g)

Defined in Data.Functor.Product.Singletons

PFunctor (Sum f g)

Defined in Data.Functor.Sum.Singletons

PFunctor (Compose f g)

Defined in Data.Functor.Compose.Singletons

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

Minimal complete definition

sFmap

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: f a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: f b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2) infixl 4

default (%<$) :: forall a b (t1 :: a) (t2 :: f b). (t1 <$ t2) ~ TFHelper_6989586621679271236 t1 t2 => Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

Instances

SFunctor First

Defined in Data.Semigroup.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Last

Defined in Data.Semigroup.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Max

Defined in Data.Semigroup.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Max a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Max b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Min

Defined in Data.Semigroup.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Min a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Min b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor NonEmpty

Defined in Control.Monad.Singletons.Internal

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: NonEmpty a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: NonEmpty b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Identity

Defined in Data.Functor.Identity.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Identity a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Identity b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor First

Defined in Data.Monoid.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: First a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: First b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Last

Defined in Data.Monoid.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Last a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Last b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Down

Defined in Data.Functor.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Down a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Down b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Dual

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Dual a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Dual b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Product

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Product a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Product b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Sum

Defined in Data.Semigroup.Singletons.Internal.Wrappers

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Sum a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Sum b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor Maybe

Defined in Control.Monad.Singletons.Internal

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Maybe b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor []

Defined in Control.Monad.Singletons.Internal

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: [a]). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: [b]). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor (Arg a)

Defined in Data.Semigroup.Singletons

Methods

sFmap :: forall a0 b (t1 :: a0 ~> b) (t2 :: Arg a a0). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a0 b (t1 :: a0) (t2 :: Arg a b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor (Either a)

Defined in Control.Monad.Singletons.Internal

Methods

sFmap :: forall a0 b (t1 :: a0 ~> b) (t2 :: Either a a0). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a0 b (t1 :: a0) (t2 :: Either a b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor (Proxy :: Type -> Type)

Defined in Data.Proxy.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Proxy a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Proxy b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor ((,) a)

Defined in Data.Functor.Singletons

Methods

sFmap :: forall a0 b (t1 :: a0 ~> b) (t2 :: (a, a0)). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a0 b (t1 :: a0) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

SFunctor (Const m :: Type -> Type)

Defined in Data.Functor.Const.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Const m a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Const m b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

(SFunctor f, SFunctor g) => SFunctor (Product f g)

Defined in Data.Functor.Product.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Product f g a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Product f g b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

(SFunctor f, SFunctor g) => SFunctor (Sum f g)

Defined in Data.Functor.Sum.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Sum f g a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Sum f g b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

(SFunctor f, SFunctor g) => SFunctor (Compose f g)

Defined in Data.Functor.Compose.Singletons

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Compose f g a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Compose f g b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

type family (a1 :: f a) $> (a2 :: b) :: f b where ... infixl 4

Equations

(a_6989586621679357495 :: f b) $> (a_6989586621679357497 :: k1) = Apply (Apply (Apply (FlipSym0 :: TyFun (k1 ~> (f b ~> f k1)) (f b ~> (k1 ~> f k1)) -> Type) ((<$@#@$) :: TyFun k1 (f b ~> f k1) -> Type)) a_6989586621679357495) a_6989586621679357497

(%$>) :: forall (f :: Type -> Type) a b (t1 :: f a) (t2 :: b). SFunctor f => Sing t1 -> Sing t2 -> Sing (t1 $> t2) infixl 4

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

Equations

(a_6989586621679357513 :: a ~> b) <$> (a_6989586621679357515 :: f a) = Apply (Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) a_6989586621679357513) a_6989586621679357515

(%<$>) :: forall a b (f :: Type -> Type) (t1 :: a ~> b) (t2 :: f a). SFunctor f => Sing t1 -> Sing t2 -> Sing (t1 <$> t2) infixl 4

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

Equations

(as :: f1 a) <&> (f2 :: a ~> b) = Apply (Apply ((<$>@#@$) :: TyFun (a ~> b) (f1 a ~> f1 b) -> Type) f2) as

(%<&>) :: forall (f :: Type -> Type) a b (t1 :: f a) (t2 :: a ~> b). SFunctor f => Sing t1 -> Sing t2 -> Sing (t1 <&> t2) infixl 1

type family Void (a1 :: f a) :: f () where ...

Equations

Void (x :: f b) = Apply (Apply ((<$@#@$) :: TyFun () (f b ~> f ()) -> Type) Tuple0Sym0) x

sVoid :: forall (f :: Type -> Type) a (t :: f a). SFunctor f => Sing t -> Sing (Void t)

Defunctionalization symbols

data FmapSym0 (a1 :: TyFun (a ~> b) (f a ~> f b))

Instances

SFunctor f => SingI (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

sing :: Sing (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type)

SuppressUnusedWarnings (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) (a6989586621679271227 :: a ~> b)

Defined in Control.Monad.Singletons.Internal

type Apply (FmapSym0 :: TyFun (a ~> b) (f a ~> f b) -> Type) (a6989586621679271227 :: a ~> b) = FmapSym1 a6989586621679271227 :: TyFun (f a) (f b) -> Type

data FmapSym1 (a6989586621679271227 :: a ~> b) (b1 :: TyFun (f a) (f b))

Instances

SFunctor f => SingI1 (FmapSym1 :: (a ~> b) -> TyFun (f a) (f b) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

liftSing :: forall (x :: a ~> b). Sing x -> Sing (FmapSym1 x :: TyFun (f a) (f b) -> Type)

(SFunctor f, SingI d) => SingI (FmapSym1 d :: TyFun (f a) (f b) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

sing :: Sing (FmapSym1 d :: TyFun (f a) (f b) -> Type)

SuppressUnusedWarnings (FmapSym1 a6989586621679271227 :: TyFun (f a) (f b) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (FmapSym1 a6989586621679271227 :: TyFun (f a) (f b) -> Type) (a6989586621679271228 :: f a)

Defined in Control.Monad.Singletons.Internal

type Apply (FmapSym1 a6989586621679271227 :: TyFun (f a) (f b) -> Type) (a6989586621679271228 :: f a) = Fmap a6989586621679271227 a6989586621679271228

type family FmapSym2 (a6989586621679271227 :: a ~> b) (a6989586621679271228 :: f a) :: f b where ...

Equations

FmapSym2 (a6989586621679271227 :: a ~> b) (a6989586621679271228 :: f a) = Fmap a6989586621679271227 a6989586621679271228

data (<$@#@$) (a1 :: TyFun a (f b ~> f a)) infixl 4

Instances

SFunctor f => SingI ((<$@#@$) :: TyFun a (f b ~> f a) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

sing :: Sing ((<$@#@$) :: TyFun a (f b ~> f a) -> Type)

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

Defined in Control.Monad.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<$@#@$) :: TyFun a (f b ~> f a) -> Type) (a6989586621679271232 :: a)

Defined in Control.Monad.Singletons.Internal

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

data (a6989586621679271232 :: a) <$@#@$$ (b1 :: TyFun (f b) (f a)) infixl 4

Instances

SFunctor f => SingI1 ((<$@#@$$) :: a -> TyFun (f b) (f a) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

liftSing :: forall (x :: a). Sing x -> Sing ((<$@#@$$) x :: TyFun (f b) (f a) -> Type)

(SFunctor f, SingI d) => SingI ((<$@#@$$) d :: TyFun (f b) (f a) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

sing :: Sing ((<$@#@$$) d :: TyFun (f b) (f a) -> Type)

SuppressUnusedWarnings ((<$@#@$$) a6989586621679271232 :: TyFun (f b) (f a) -> Type)

Defined in Control.Monad.Singletons.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<$@#@$$) a6989586621679271232 :: TyFun (f b) (f a) -> Type) (a6989586621679271233 :: f b)

Defined in Control.Monad.Singletons.Internal

type Apply ((<$@#@$$) a6989586621679271232 :: TyFun (f b) (f a) -> Type) (a6989586621679271233 :: f b) = a6989586621679271232 <$ a6989586621679271233

type family (a6989586621679271232 :: a) <$@#@$$$ (a6989586621679271233 :: f b) :: f a where ... infixl 4

Equations

(a6989586621679271232 :: a) <$@#@$$$ (a6989586621679271233 :: f b) = a6989586621679271232 <$ a6989586621679271233

data ($>@#@$) (a1 :: TyFun (f a) (b ~> f b)) infixl 4

Instances

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

Defined in Data.Functor.Singletons

Methods

sing :: Sing (($>@#@$) :: TyFun (f a) (b ~> f b) -> Type)

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

Defined in Data.Functor.Singletons

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Functor.Singletons

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

data (a6989586621679357502 :: f a) $>@#@$$ (b1 :: TyFun b (f b)) infixl 4

Instances

SFunctor f => SingI1 (($>@#@$$) :: f a -> TyFun b (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

liftSing :: forall (x :: f a). Sing x -> Sing (($>@#@$$) x :: TyFun b (f b) -> Type)

(SFunctor f, SingI d) => SingI (($>@#@$$) d :: TyFun b (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

sing :: Sing (($>@#@$$) d :: TyFun b (f b) -> Type)

SuppressUnusedWarnings (($>@#@$$) a6989586621679357502 :: TyFun b (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (($>@#@$$) a6989586621679357502 :: TyFun b (f b) -> Type) (a6989586621679357503 :: b)

Defined in Data.Functor.Singletons

type Apply (($>@#@$$) a6989586621679357502 :: TyFun b (f b) -> Type) (a6989586621679357503 :: b) = a6989586621679357502 $> a6989586621679357503

type family (a6989586621679357502 :: f a) $>@#@$$$ (a6989586621679357503 :: b) :: f b where ... infixl 4

Equations

(a6989586621679357502 :: f a) $>@#@$$$ (a6989586621679357503 :: b) = a6989586621679357502 $> a6989586621679357503

data (<$>@#@$) (a1 :: TyFun (a ~> b) (f a ~> f b)) infixl 4

Instances

SFunctor f => SingI ((<$>@#@$) :: TyFun (a ~> b) (f a ~> f b) -> Type)

Defined in Data.Functor.Singletons

Methods

sing :: Sing ((<$>@#@$) :: TyFun (a ~> b) (f a ~> f b) -> Type)

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

Defined in Data.Functor.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((<$>@#@$) :: TyFun (a ~> b) (f a ~> f b) -> Type) (a6989586621679357520 :: a ~> b)

Defined in Data.Functor.Singletons

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

data (a6989586621679357520 :: a ~> b) <$>@#@$$ (b1 :: TyFun (f a) (f b)) infixl 4

Instances

SFunctor f => SingI1 ((<$>@#@$$) :: (a ~> b) -> TyFun (f a) (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

liftSing :: forall (x :: a ~> b). Sing x -> Sing ((<$>@#@$$) x :: TyFun (f a) (f b) -> Type)

(SFunctor f, SingI d) => SingI ((<$>@#@$$) d :: TyFun (f a) (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

sing :: Sing ((<$>@#@$$) d :: TyFun (f a) (f b) -> Type)

SuppressUnusedWarnings ((<$>@#@$$) a6989586621679357520 :: TyFun (f a) (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((<$>@#@$$) a6989586621679357520 :: TyFun (f a) (f b) -> Type) (a6989586621679357521 :: f a)

Defined in Data.Functor.Singletons

type Apply ((<$>@#@$$) a6989586621679357520 :: TyFun (f a) (f b) -> Type) (a6989586621679357521 :: f a) = a6989586621679357520 <$> a6989586621679357521

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

Equations

(a6989586621679357520 :: a ~> b) <$>@#@$$$ (a6989586621679357521 :: f a) = a6989586621679357520 <$> a6989586621679357521

data (<&>@#@$) (a1 :: TyFun (f a) ((a ~> b) ~> f b)) infixl 1

Instances

SFunctor f => SingI ((<&>@#@$) :: TyFun (f a) ((a ~> b) ~> f b) -> Type)

Defined in Data.Functor.Singletons

Methods

sing :: Sing ((<&>@#@$) :: TyFun (f a) ((a ~> b) ~> f b) -> Type)

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

Defined in Data.Functor.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((<&>@#@$) :: TyFun (f a) ((a ~> b) ~> f b) -> Type) (a6989586621679357509 :: f a)

Defined in Data.Functor.Singletons

type Apply ((<&>@#@$) :: TyFun (f a) ((a ~> b) ~> f b) -> Type) (a6989586621679357509 :: f a) = (<&>@#@$$) a6989586621679357509 :: TyFun (a ~> b) (f b) -> Type

data (a6989586621679357509 :: f a) <&>@#@$$ (b1 :: TyFun (a ~> b) (f b)) infixl 1

Instances

SFunctor f => SingI1 ((<&>@#@$$) :: f a -> TyFun (a ~> b) (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

liftSing :: forall (x :: f a). Sing x -> Sing ((<&>@#@$$) x :: TyFun (a ~> b) (f b) -> Type)

(SFunctor f, SingI d) => SingI ((<&>@#@$$) d :: TyFun (a ~> b) (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

sing :: Sing ((<&>@#@$$) d :: TyFun (a ~> b) (f b) -> Type)

SuppressUnusedWarnings ((<&>@#@$$) a6989586621679357509 :: TyFun (a ~> b) (f b) -> Type)

Defined in Data.Functor.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply ((<&>@#@$$) a6989586621679357509 :: TyFun (a ~> b) (f b) -> Type) (a6989586621679357510 :: a ~> b)

Defined in Data.Functor.Singletons

type Apply ((<&>@#@$$) a6989586621679357509 :: TyFun (a ~> b) (f b) -> Type) (a6989586621679357510 :: a ~> b) = a6989586621679357509 <&> a6989586621679357510

type family (a6989586621679357509 :: f a) <&>@#@$$$ (a6989586621679357510 :: a ~> b) :: f b where ... infixl 1

Equations

(a6989586621679357509 :: f a) <&>@#@$$$ (a6989586621679357510 :: a ~> b) = a6989586621679357509 <&> a6989586621679357510

data VoidSym0 (a1 :: TyFun (f a) (f ()))

Instances

SFunctor f => SingI (VoidSym0 :: TyFun (f a) (f ()) -> Type)

Defined in Data.Functor.Singletons

Methods

sing :: Sing (VoidSym0 :: TyFun (f a) (f ()) -> Type)

SuppressUnusedWarnings (VoidSym0 :: TyFun (f a) (f ()) -> Type)

Defined in Data.Functor.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679357493 :: f a)

Defined in Data.Functor.Singletons

type Apply (VoidSym0 :: TyFun (f a) (f ()) -> Type) (a6989586621679357493 :: f a) = Void a6989586621679357493

type family VoidSym1 (a6989586621679357493 :: f a) :: f () where ...

Equations

VoidSym1 (a6989586621679357493 :: f a) = Void a6989586621679357493

Orphan instances

PFunctor Down

Associated Types

type Fmap (a2 :: a1 ~> b) (a3 :: Down a1)

Defined in Data.Functor.Singletons

type Fmap (a2 :: a1 ~> b) (a3 :: Down a1)

type (a2 :: a1) <$ (a3 :: Down b)

Defined in Data.Functor.Singletons

type (a2 :: a1) <$ (a3 :: Down b)

SFunctor Down

Methods

sFmap :: forall a b (t1 :: a ~> b) (t2 :: Down a). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a b (t1 :: a) (t2 :: Down b). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)

PFunctor ((,) a)

SFunctor ((,) a)

Methods

sFmap :: forall a0 b (t1 :: a0 ~> b) (t2 :: (a, a0)). Sing t1 -> Sing t2 -> Sing (Fmap t1 t2)

(%<$) :: forall a0 b (t1 :: a0) (t2 :: (a, b)). Sing t1 -> Sing t2 -> Sing (t1 <$ t2)