Data.Singletons.Prelude.Functor

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

Documentation

class PFunctor (f :: Type -> Type)

Associated Types

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

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

Instances

PFunctor []

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Maybe

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Min

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Max

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor First

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Last

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Option

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Identity

Defined in Data.Singletons.Prelude.Identity

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor First

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Last

Defined in Data.Singletons.Prelude.Monoid

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Dual

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Sum

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Product

Defined in Data.Singletons.Prelude.Semigroup.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor Down

Defined in Data.Singletons.Prelude.Functor

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor NonEmpty

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor (Either a)

Defined in Data.Singletons.Prelude.Monad.Internal

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor ((,) a)

Defined in Data.Singletons.Prelude.Functor

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor (Arg a)

Defined in Data.Singletons.Prelude.Semigroup

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

PFunctor (Const m :: Type -> Type)

Defined in Data.Singletons.Prelude.Const

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

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

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)

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

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

Instances

SFunctor []

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Maybe

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Min

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Max

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor First

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Last

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Option

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Identity

Defined in Data.Singletons.Prelude.Identity

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor First

Defined in Data.Singletons.Prelude.Monoid

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Last

Defined in Data.Singletons.Prelude.Monoid

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Dual

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Sum

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Product

Defined in Data.Singletons.Prelude.Semigroup.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor Down

Defined in Data.Singletons.Prelude.Functor

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor NonEmpty

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor (Either a)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor ((,) a)

Defined in Data.Singletons.Prelude.Functor

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor (Arg a)

Defined in Data.Singletons.Prelude.Semigroup

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

SFunctor (Const m :: Type -> Type)

Defined in Data.Singletons.Prelude.Const

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

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

Equations

a_6989586621679705445 $> a_6989586621679705447 = Apply (Apply (Apply FlipSym0 (<$@#@$)) a_6989586621679705445) a_6989586621679705447

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

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

Equations

a_6989586621679705455 <$> a_6989586621679705457 = Apply (Apply FmapSym0 a_6989586621679705455) a_6989586621679705457

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

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

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

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

Equations

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

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

Defunctionalization symbols

data FmapSym0 :: forall a6989586621679536044 b6989586621679536045 f6989586621679536043. (~>) ((~>) a6989586621679536044 b6989586621679536045) ((~>) (f6989586621679536043 a6989586621679536044) (f6989586621679536043 b6989586621679536045))

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing FmapSym0

SuppressUnusedWarnings (FmapSym0 :: TyFun (a6989586621679536044 ~> b6989586621679536045) (f6989586621679536043 a6989586621679536044 ~> f6989586621679536043 b6989586621679536045) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (FmapSym0 :: TyFun (a6989586621679536044 ~> b6989586621679536045) (f6989586621679536043 a6989586621679536044 ~> f6989586621679536043 b6989586621679536045) -> Type) (arg6989586621679536437 :: a6989586621679536044 ~> b6989586621679536045)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FmapSym0 :: TyFun (a6989586621679536044 ~> b6989586621679536045) (f6989586621679536043 a6989586621679536044 ~> f6989586621679536043 b6989586621679536045) -> Type) (arg6989586621679536437 :: a6989586621679536044 ~> b6989586621679536045) = (FmapSym1 arg6989586621679536437 f6989586621679536043 :: TyFun (f6989586621679536043 a6989586621679536044) (f6989586621679536043 b6989586621679536045) -> Type)

data FmapSym1 (arg6989586621679536437 :: (~>) a6989586621679536044 b6989586621679536045) :: forall f6989586621679536043. (~>) (f6989586621679536043 a6989586621679536044) (f6989586621679536043 b6989586621679536045)

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing (FmapSym1 d f)

SuppressUnusedWarnings (FmapSym1 arg6989586621679536437 f6989586621679536043 :: TyFun (f6989586621679536043 a6989586621679536044) (f6989586621679536043 b6989586621679536045) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply (FmapSym1 arg6989586621679536437 f :: TyFun (f a) (f b) -> Type) (arg6989586621679536438 :: f a)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply (FmapSym1 arg6989586621679536437 f :: TyFun (f a) (f b) -> Type) (arg6989586621679536438 :: f a) = Fmap arg6989586621679536437 arg6989586621679536438

type FmapSym2 (arg6989586621679536437 :: (~>) a6989586621679536044 b6989586621679536045) (arg6989586621679536438 :: f6989586621679536043 a6989586621679536044) = Fmap arg6989586621679536437 arg6989586621679536438

data (<$@#@$) :: forall a6989586621679536046 b6989586621679536047 f6989586621679536043. (~>) a6989586621679536046 ((~>) (f6989586621679536043 b6989586621679536047) (f6989586621679536043 a6989586621679536046)) infixl 4

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

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

SuppressUnusedWarnings ((<$@#@$) :: TyFun a6989586621679536046 (f6989586621679536043 b6989586621679536047 ~> f6989586621679536043 a6989586621679536046) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

type Apply ((<$@#@$) :: TyFun a6989586621679536046 (f6989586621679536043 b6989586621679536047 ~> f6989586621679536043 a6989586621679536046) -> Type) (arg6989586621679536441 :: a6989586621679536046)

Defined in Data.Singletons.Prelude.Monad.Internal

type Apply ((<$@#@$) :: TyFun a6989586621679536046 (f6989586621679536043 b6989586621679536047 ~> f6989586621679536043 a6989586621679536046) -> Type) (arg6989586621679536441 :: a6989586621679536046) = ((arg6989586621679536441 <$@#@$$ b6989586621679536047) f6989586621679536043 :: TyFun (f6989586621679536043 b6989586621679536047) (f6989586621679536043 a6989586621679536046) -> Type)

data (<$@#@$$) (arg6989586621679536441 :: a6989586621679536046) :: forall b6989586621679536047 f6989586621679536043. (~>) (f6989586621679536043 b6989586621679536047) (f6989586621679536043 a6989586621679536046) infixl 4

Instances

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

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

sing :: Sing ((d <$@#@$$ b) f)

SuppressUnusedWarnings ((arg6989586621679536441 <$@#@$$ b6989586621679536047) f6989586621679536043 :: TyFun (f6989586621679536043 b6989586621679536047) (f6989586621679536043 a6989586621679536046) -> Type)

Defined in Data.Singletons.Prelude.Monad.Internal

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Monad.Internal

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

type (<$@#@$$$) (arg6989586621679536441 :: a6989586621679536046) (arg6989586621679536442 :: f6989586621679536043 b6989586621679536047) = (<$) arg6989586621679536441 arg6989586621679536442

data ($>@#@$) :: forall a6989586621679705373 b6989586621679705374 f6989586621679705372. (~>) (f6989586621679705372 a6989586621679705373) ((~>) b6989586621679705374 (f6989586621679705372 b6989586621679705374)) infixl 4

Instances

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

Defined in Data.Singletons.Prelude.Functor

Methods

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

SuppressUnusedWarnings (($>@#@$) :: TyFun (f6989586621679705372 a6989586621679705373) (b6989586621679705374 ~> f6989586621679705372 b6989586621679705374) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

suppressUnusedWarnings :: ()

type Apply (($>@#@$) :: TyFun (f6989586621679705372 a6989586621679705373) (b6989586621679705374 ~> f6989586621679705372 b6989586621679705374) -> Type) (a6989586621679705449 :: f6989586621679705372 a6989586621679705373)

Defined in Data.Singletons.Prelude.Functor

type Apply (($>@#@$) :: TyFun (f6989586621679705372 a6989586621679705373) (b6989586621679705374 ~> f6989586621679705372 b6989586621679705374) -> Type) (a6989586621679705449 :: f6989586621679705372 a6989586621679705373) = (a6989586621679705449 $>@#@$$ b6989586621679705374 :: TyFun b6989586621679705374 (f6989586621679705372 b6989586621679705374) -> Type)

data ($>@#@$$) (a6989586621679705449 :: f6989586621679705372 a6989586621679705373) :: forall b6989586621679705374. (~>) b6989586621679705374 (f6989586621679705372 b6989586621679705374) infixl 4

Instances

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

Defined in Data.Singletons.Prelude.Functor

Methods

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

SuppressUnusedWarnings (a6989586621679705449 $>@#@$$ b6989586621679705374 :: TyFun b6989586621679705374 (f6989586621679705372 b6989586621679705374) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

suppressUnusedWarnings :: ()

type Apply (a6989586621679705449 $>@#@$$ b :: TyFun b (f b) -> Type) (a6989586621679705450 :: b)

Defined in Data.Singletons.Prelude.Functor

type Apply (a6989586621679705449 $>@#@$$ b :: TyFun b (f b) -> Type) (a6989586621679705450 :: b) = a6989586621679705449 $> a6989586621679705450

type ($>@#@$$$) (a6989586621679705449 :: f6989586621679705372 a6989586621679705373) (a6989586621679705450 :: b6989586621679705374) = ($>) a6989586621679705449 a6989586621679705450

data (<$>@#@$) :: forall a6989586621679705379 b6989586621679705380 f6989586621679705378. (~>) ((~>) a6989586621679705379 b6989586621679705380) ((~>) (f6989586621679705378 a6989586621679705379) (f6989586621679705378 b6989586621679705380)) infixl 4

Instances

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

Defined in Data.Singletons.Prelude.Functor

Methods

sing :: Sing (<$>@#@$)

SuppressUnusedWarnings ((<$>@#@$) :: TyFun (a6989586621679705379 ~> b6989586621679705380) (f6989586621679705378 a6989586621679705379 ~> f6989586621679705378 b6989586621679705380) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

suppressUnusedWarnings :: ()

type Apply ((<$>@#@$) :: TyFun (a6989586621679705379 ~> b6989586621679705380) (f6989586621679705378 a6989586621679705379 ~> f6989586621679705378 b6989586621679705380) -> Type) (a6989586621679705459 :: a6989586621679705379 ~> b6989586621679705380)

Defined in Data.Singletons.Prelude.Functor

type Apply ((<$>@#@$) :: TyFun (a6989586621679705379 ~> b6989586621679705380) (f6989586621679705378 a6989586621679705379 ~> f6989586621679705378 b6989586621679705380) -> Type) (a6989586621679705459 :: a6989586621679705379 ~> b6989586621679705380) = (a6989586621679705459 <$>@#@$$ f6989586621679705378 :: TyFun (f6989586621679705378 a6989586621679705379) (f6989586621679705378 b6989586621679705380) -> Type)

data (<$>@#@$$) (a6989586621679705459 :: (~>) a6989586621679705379 b6989586621679705380) :: forall f6989586621679705378. (~>) (f6989586621679705378 a6989586621679705379) (f6989586621679705378 b6989586621679705380) infixl 4

Instances

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

Defined in Data.Singletons.Prelude.Functor

Methods

sing :: Sing (d <$>@#@$$ f)

SuppressUnusedWarnings (a6989586621679705459 <$>@#@$$ f6989586621679705378 :: TyFun (f6989586621679705378 a6989586621679705379) (f6989586621679705378 b6989586621679705380) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Functor

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

type (<$>@#@$$$) (a6989586621679705459 :: (~>) a6989586621679705379 b6989586621679705380) (a6989586621679705460 :: f6989586621679705378 a6989586621679705379) = (<$>) a6989586621679705459 a6989586621679705460

data (<&>@#@$) :: forall a6989586621679705376 b6989586621679705377 f6989586621679705375. (~>) (f6989586621679705375 a6989586621679705376) ((~>) ((~>) a6989586621679705376 b6989586621679705377) (f6989586621679705375 b6989586621679705377)) infixl 1

Instances

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

Defined in Data.Singletons.Prelude.Functor

Methods

sing :: Sing (<&>@#@$)

SuppressUnusedWarnings ((<&>@#@$) :: TyFun (f6989586621679705375 a6989586621679705376) ((a6989586621679705376 ~> b6989586621679705377) ~> f6989586621679705375 b6989586621679705377) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

suppressUnusedWarnings :: ()

type Apply ((<&>@#@$) :: TyFun (f6989586621679705375 a6989586621679705376) ((a6989586621679705376 ~> b6989586621679705377) ~> f6989586621679705375 b6989586621679705377) -> Type) (a6989586621679705465 :: f6989586621679705375 a6989586621679705376)

Defined in Data.Singletons.Prelude.Functor

type Apply ((<&>@#@$) :: TyFun (f6989586621679705375 a6989586621679705376) ((a6989586621679705376 ~> b6989586621679705377) ~> f6989586621679705375 b6989586621679705377) -> Type) (a6989586621679705465 :: f6989586621679705375 a6989586621679705376) = (a6989586621679705465 <&>@#@$$ b6989586621679705377 :: TyFun (a6989586621679705376 ~> b6989586621679705377) (f6989586621679705375 b6989586621679705377) -> Type)

data (<&>@#@$$) (a6989586621679705465 :: f6989586621679705375 a6989586621679705376) :: forall b6989586621679705377. (~>) ((~>) a6989586621679705376 b6989586621679705377) (f6989586621679705375 b6989586621679705377) infixl 1

Instances

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

Defined in Data.Singletons.Prelude.Functor

Methods

sing :: Sing (d <&>@#@$$ b)

SuppressUnusedWarnings (a6989586621679705465 <&>@#@$$ b6989586621679705377 :: TyFun (a6989586621679705376 ~> b6989586621679705377) (f6989586621679705375 b6989586621679705377) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Functor

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

type (<&>@#@$$$) (a6989586621679705465 :: f6989586621679705375 a6989586621679705376) (a6989586621679705466 :: (~>) a6989586621679705376 b6989586621679705377) = (<&>) a6989586621679705465 a6989586621679705466

data VoidSym0 :: forall a6989586621679705371 f6989586621679705370. (~>) (f6989586621679705370 a6989586621679705371) (f6989586621679705370 ())

Instances

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

Defined in Data.Singletons.Prelude.Functor

Methods

sing :: Sing VoidSym0

SuppressUnusedWarnings (VoidSym0 :: TyFun (f6989586621679705370 a6989586621679705371) (f6989586621679705370 ()) -> Type)

Defined in Data.Singletons.Prelude.Functor

Methods

suppressUnusedWarnings :: ()

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

Defined in Data.Singletons.Prelude.Functor

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

type VoidSym1 (a6989586621679705442 :: f6989586621679705370 a6989586621679705371) = Void a6989586621679705442

Orphan instances

SFunctor Down

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

PFunctor Down

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a

SFunctor ((,) a)

Methods

sFmap :: Sing t -> Sing t -> Sing (Apply (Apply FmapSym0 t) t)

(%<$) :: Sing t -> Sing t -> Sing (Apply (Apply (<$@#@$) t) t)

PFunctor ((,) a)

Associated Types

type Fmap arg arg :: f b

type arg <$ arg :: f a