Prologue.Data.Pointed

Documentation

type Bipointed t = (Pointed t, Copointed t)

pointed :: Bipointed t => Iso a b (t a) (t b)

copointed :: Bipointed t => Iso (t a) (t b) a b

copointedLens :: (Copointed t, Functor t) => Lens (t a) (t b) a b

class Pointed (p :: Type -> Type) where

Methods

point :: a -> p a

Instances

Pointed []

Defined in Data.Pointed

Methods

point :: a -> [a]

Pointed Maybe

Defined in Data.Pointed

Methods

point :: a -> Maybe a

Pointed IO

Defined in Data.Pointed

Methods

point :: a -> IO a

Pointed Par1

Defined in Data.Pointed

Methods

point :: a -> Par1 a

Pointed Min

Defined in Data.Pointed

Methods

point :: a -> Min a

Pointed Max

Defined in Data.Pointed

Methods

point :: a -> Max a

Pointed First

Defined in Data.Pointed

Methods

point :: a -> First a

Pointed Last

Defined in Data.Pointed

Methods

point :: a -> Last a

Pointed WrappedMonoid

Defined in Data.Pointed

Methods

point :: a -> WrappedMonoid a

Pointed Option

Defined in Data.Pointed

Methods

point :: a -> Option a

Pointed ZipList

Defined in Data.Pointed

Methods

point :: a -> ZipList a

Pointed Identity

Defined in Data.Pointed

Methods

point :: a -> Identity a

Pointed STM

Defined in Data.Pointed

Methods

point :: a -> STM a

Pointed First

Defined in Data.Pointed

Methods

point :: a -> First a

Pointed Last

Defined in Data.Pointed

Methods

point :: a -> Last a

Pointed Dual

Defined in Data.Pointed

Methods

point :: a -> Dual a

Pointed Endo

Defined in Data.Pointed

Methods

point :: a -> Endo a

Pointed Sum

Defined in Data.Pointed

Methods

point :: a -> Sum a

Pointed Product

Defined in Data.Pointed

Methods

point :: a -> Product a

Pointed NonEmpty

Defined in Data.Pointed

Methods

point :: a -> NonEmpty a

Pointed Tree

Defined in Data.Pointed

Methods

point :: a -> Tree a

Pointed Seq

Defined in Data.Pointed

Methods

point :: a -> Seq a

Pointed ViewL

Defined in Data.Pointed

Methods

point :: a -> ViewL a

Pointed ViewR

Defined in Data.Pointed

Methods

point :: a -> ViewR a

Pointed Set

Defined in Data.Pointed

Methods

point :: a -> Set a

Pointed (Either a)

Defined in Data.Pointed

Methods

point :: a0 -> Either a a0

Pointed (U1 :: Type -> Type)

Defined in Data.Pointed

Methods

point :: a -> U1 a

Default e => Pointed ((,) e)

Defined in Data.Pointed

Methods

point :: a -> (e, a)

(Default k, Hashable k) => Pointed (HashMap k)

Defined in Data.Pointed

Methods

point :: a -> HashMap k a

Default k => Pointed (Map k)

Defined in Data.Pointed

Methods

point :: a -> Map k a

Default a => Pointed (Arg a)

Defined in Data.Pointed

Methods

point :: a0 -> Arg a a0

Monad m => Pointed (WrappedMonad m)

Defined in Data.Pointed

Methods

point :: a -> WrappedMonad m a

Pointed (Proxy :: Type -> Type)

Defined in Data.Pointed

Methods

point :: a -> Proxy a

Pointed m => Pointed (MaybeT m)

Defined in Data.Pointed

Methods

point :: a -> MaybeT m a

Pointed m => Pointed (ListT m)

Defined in Data.Pointed

Methods

point :: a -> ListT m a

Pointed f => Pointed (WrappedApplicative f)

Defined in Data.Pointed

Methods

point :: a -> WrappedApplicative f a

Pointed (MaybeApply f)

Defined in Data.Pointed

Methods

point :: a -> MaybeApply f a

Pointed (Lift f)

Defined in Data.Pointed

Methods

point :: a -> Lift f a

Pointed f => Pointed (Rec1 f)

Defined in Data.Pointed

Methods

point :: a -> Rec1 f a

Arrow a => Pointed (WrappedArrow a b)

Defined in Data.Pointed

Methods

point :: a0 -> WrappedArrow a b a0

Default m => Pointed (Const m :: Type -> Type)

Defined in Data.Pointed

Methods

point :: a -> Const m a

Pointed m => Pointed (IdentityT m)

Defined in Data.Pointed

Methods

point :: a -> IdentityT m a

Pointed m => Pointed (ExceptT e m)

Defined in Data.Pointed

Methods

point :: a -> ExceptT e m a

(Functor g, g ~ h) => Pointed (Curried g h)

Defined in Data.Pointed

Methods

point :: a -> Curried g h a

Pointed m => Pointed (ErrorT e m)

Defined in Data.Pointed

Methods

point :: a -> ErrorT e m a

Pointed m => Pointed (StateT s m)

Defined in Data.Pointed

Methods

point :: a -> StateT s m a

Pointed f => Pointed (Backwards f)

Defined in Data.Pointed

Methods

point :: a -> Backwards f a

Pointed m => Pointed (StateT s m)

Defined in Data.Pointed

Methods

point :: a -> StateT s m a

(Default w, Pointed m) => Pointed (WriterT w m)

Defined in Data.Pointed

Methods

point :: a -> WriterT w m a

(Default w, Pointed m) => Pointed (WriterT w m)

Defined in Data.Pointed

Methods

point :: a -> WriterT w m a

Pointed m => Pointed (Static m a)

Defined in Data.Pointed

Methods

point :: a0 -> Static m a a0

Pointed (Tagged a)

Defined in Data.Pointed

Methods

point :: a0 -> Tagged a a0

Pointed f => Pointed (Reverse f)

Defined in Data.Pointed

Methods

point :: a -> Reverse f a

Default m => Pointed (Constant m :: Type -> Type)

Defined in Data.Pointed

Methods

point :: a -> Constant m a

Pointed ((->) e :: Type -> Type)

Defined in Data.Pointed

Methods

point :: a -> e -> a

(Pointed f, Pointed g) => Pointed (f :*: g)

Defined in Data.Pointed

Methods

point :: a -> (f :*: g) a

(Pointed p, Pointed q) => Pointed (Product p q)

Defined in Data.Pointed

Methods

point :: a -> Product p q a

Pointed (Cokleisli w a)

Defined in Data.Pointed

Methods

point :: a0 -> Cokleisli w a a0

Pointed (ContT r m)

Defined in Data.Pointed

Methods

point :: a -> ContT r m a

Pointed m => Pointed (ReaderT r m)

Defined in Data.Pointed

Methods

point :: a -> ReaderT r m a

Pointed f => Pointed (M1 i c f)

Defined in Data.Pointed

Methods

point :: a -> M1 i c f a

(Pointed f, Pointed g) => Pointed (f :.: g)

Defined in Data.Pointed

Methods

point :: a -> (f :.: g) a

(Pointed p, Pointed q) => Pointed (Compose p q)

Defined in Data.Pointed

Methods

point :: a -> Compose p q a

(Default w, Pointed m) => Pointed (RWST r w s m)

Defined in Data.Pointed

Methods

point :: a -> RWST r w s m a

(Default w, Pointed m) => Pointed (RWST r w s m)

Defined in Data.Pointed

Methods

point :: a -> RWST r w s m a

class Copointed (p :: Type -> Type) where

Copointed does not require a Functor, as the only relationship between copoint and fmap is given by a free theorem.

Methods

copoint :: p a -> a

Instances

Copointed Par1

Defined in Data.Copointed

Methods

copoint :: Par1 a -> a

Copointed Min

Defined in Data.Copointed

Methods

copoint :: Min a -> a

Copointed Max

Defined in Data.Copointed

Methods

copoint :: Max a -> a

Copointed First

Defined in Data.Copointed

Methods

copoint :: First a -> a

Copointed Last

Defined in Data.Copointed

Methods

copoint :: Last a -> a

Copointed WrappedMonoid

Defined in Data.Copointed

Methods

copoint :: WrappedMonoid a -> a

Copointed Identity

Defined in Data.Copointed

Methods

copoint :: Identity a -> a

Copointed Dual

Defined in Data.Copointed

Methods

copoint :: Dual a -> a

Copointed Sum

Defined in Data.Copointed

Methods

copoint :: Sum a -> a

Copointed Product

Defined in Data.Copointed

Methods

copoint :: Product a -> a

Copointed NonEmpty

Defined in Data.Copointed

Methods

copoint :: NonEmpty a -> a

Copointed Tree

Defined in Data.Copointed

Methods

copoint :: Tree a -> a

Copointed ((,) a)

Defined in Data.Copointed

Methods

copoint :: (a, a0) -> a0

Copointed (Arg a)

Defined in Data.Copointed

Methods

copoint :: Arg a a0 -> a0

Copointed m => Copointed (WrappedMonad m)

Defined in Data.Copointed

Methods

copoint :: WrappedMonad m a -> a

Copointed f => Copointed (WrappedApplicative f)

Defined in Data.Copointed

Methods

copoint :: WrappedApplicative f a -> a

Copointed f => Copointed (MaybeApply f)

Defined in Data.Copointed

Methods

copoint :: MaybeApply f a -> a

Copointed f => Copointed (Lift f)

Defined in Data.Copointed

Methods

copoint :: Lift f a -> a

Copointed f => Copointed (Rec1 f)

Defined in Data.Copointed

Methods

copoint :: Rec1 f a -> a

Copointed ((,,) a b)

Defined in Data.Copointed

Methods

copoint :: (a, b, a0) -> a0

(Default m, Copointed w) => Copointed (TracedT m w)

Defined in Data.Copointed

Methods

copoint :: TracedT m w a -> a

Copointed w => Copointed (StoreT s w)

Defined in Data.Copointed

Methods

copoint :: StoreT s w a -> a

Copointed w => Copointed (EnvT e w)

Defined in Data.Copointed

Methods

copoint :: EnvT e w a -> a

Copointed m => Copointed (IdentityT m)

Defined in Data.Copointed

Methods

copoint :: IdentityT m a -> a

Copointed f => Copointed (Backwards f)

Defined in Data.Copointed

Methods

copoint :: Backwards f a -> a

Copointed m => Copointed (WriterT w m)

Defined in Data.Copointed

Methods

copoint :: WriterT w m a -> a

Copointed m => Copointed (WriterT w m)

Defined in Data.Copointed

Methods

copoint :: WriterT w m a -> a

Copointed (Tagged a)

Defined in Data.Copointed

Methods

copoint :: Tagged a a0 -> a0

Copointed f => Copointed (Reverse f)

Defined in Data.Copointed

Methods

copoint :: Reverse f a -> a

Default m => Copointed ((->) m :: Type -> Type)

Defined in Data.Copointed

Methods

copoint :: (m -> a) -> a

(Copointed f, Copointed g) => Copointed (f :+: g)

Defined in Data.Copointed

Methods

copoint :: (f :+: g) a -> a

Copointed ((,,,) a b c)

Defined in Data.Copointed

Methods

copoint :: (a, b, c, a0) -> a0

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

Defined in Data.Copointed

Methods

copoint :: Sum f g a -> a

Copointed f => Copointed (M1 i c f)

Defined in Data.Copointed

Methods

copoint :: M1 i c f a -> a

(Copointed f, Copointed g) => Copointed (f :.: g)

Defined in Data.Copointed

Methods

copoint :: (f :.: g) a -> a

(Copointed p, Copointed q) => Copointed (Compose p q)

Defined in Data.Copointed

Methods

copoint :: Compose p q a -> a