Data.HFunctor.Final

Provides Final, which can be considered the "free Interpret over a constraint": generate a handy Interpret instance for any constraint c.

Documentation

newtype Final c f a

A simple way to inject/reject into any eventual typeclass.

In a way, this is the "ultimate" multi-purpose Interpret instance. You can use this to inject an f into a free structure of any typeclass. If you want f to have a Monad instance, for example, just use

inject :: f a -> Final Monad f a

When you want to eventually interpret out the data, use:

interpret :: (f ~> g) -> Final c f a -> g a

Essentially, Final c is the "free c". Final Monad is the free Monad, etc.

Final can theoretically replace Ap, Ap1, ListF, NonEmptyF, MaybeF, Free, Identity, Coyoneda, and other instances of FreeOf, if you don't care about being able to pattern match on explicit structure.

However, it cannot replace Interpret instances that are not free structures, like Step, Steps, Backwards, etc.

Note that this doesn't have instances for all the typeclasses you could lift things into; you probably have to define your own if you want to use Final c as an instance of c (using liftFinal0, liftFinal1, liftFinal2 for help).

Constructors

Final

Fields

• runFinal :: forall g. c g => (forall x. f x -> g x) -> g a

Instances

HFunctor (Final c :: (k1 -> Type) -> k1 -> Type)

Defined in Data.HFunctor.Final

Methods

hmap :: forall (f :: k -> Type) (g :: k -> Type). (f ~> g) -> Final c f ~> Final c g

Inject (Final c :: (k -> Type) -> k -> Type)

Defined in Data.HFunctor.Final

Methods

inject :: forall (f :: k0 -> Type). f ~> Final c f

c f => Interpret (Final c :: (k -> Type) -> k -> Type) (f :: k -> Type)

Defined in Data.HFunctor.Final

Methods

retract :: Final c f ~> f

interpret :: forall (g :: k0 -> Type). (g ~> f) -> Final c g ~> f

MonadReader r (Final (MonadReader r) f)

Defined in Data.HFunctor.Final

Methods

ask :: Final (MonadReader r) f r

local :: (r -> r) -> Final (MonadReader r) f a -> Final (MonadReader r) f a

reader :: (r -> a) -> Final (MonadReader r) f a

Contravariant (Final Contravariant f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

contramap :: (a' -> a) -> Final Contravariant f a -> Final Contravariant f a'

(>$) :: b -> Final Contravariant f b -> Final Contravariant f a

Contravariant (Final Decidable f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

contramap :: (a' -> a) -> Final Decidable f a -> Final Decidable f a'

(>$) :: b -> Final Decidable f b -> Final Decidable f a

Contravariant (Final Divisible f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

contramap :: (a' -> a) -> Final Divisible f a -> Final Divisible f a'

(>$) :: b -> Final Divisible f b -> Final Divisible f a

Contravariant (Final Conclude f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

contramap :: (a' -> a) -> Final Conclude f a -> Final Conclude f a'

(>$) :: b -> Final Conclude f b -> Final Conclude f a

Contravariant (Final Decide f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

contramap :: (a' -> a) -> Final Decide f a -> Final Decide f a'

(>$) :: b -> Final Decide f b -> Final Decide f a

Contravariant (Final Divise f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

contramap :: (a' -> a) -> Final Divise f a -> Final Divise f a'

(>$) :: b -> Final Divise f b -> Final Divise f a

Alternative (Final Alternative f)

Defined in Data.HFunctor.Final

Methods

empty :: Final Alternative f a

(<|>) :: Final Alternative f a -> Final Alternative f a -> Final Alternative f a

some :: Final Alternative f a -> Final Alternative f [a]

many :: Final Alternative f a -> Final Alternative f [a]

Alternative (Final MonadPlus f)

Defined in Data.HFunctor.Final

Methods

empty :: Final MonadPlus f a

(<|>) :: Final MonadPlus f a -> Final MonadPlus f a -> Final MonadPlus f a

some :: Final MonadPlus f a -> Final MonadPlus f [a]

many :: Final MonadPlus f a -> Final MonadPlus f [a]

Applicative (Final Alternative f)

Defined in Data.HFunctor.Final

Methods

pure :: a -> Final Alternative f a

(<*>) :: Final Alternative f (a -> b) -> Final Alternative f a -> Final Alternative f b

liftA2 :: (a -> b -> c) -> Final Alternative f a -> Final Alternative f b -> Final Alternative f c

(*>) :: Final Alternative f a -> Final Alternative f b -> Final Alternative f b

(<*) :: Final Alternative f a -> Final Alternative f b -> Final Alternative f a

Applicative (Final Applicative f)

Defined in Data.HFunctor.Final

Methods

pure :: a -> Final Applicative f a

(<*>) :: Final Applicative f (a -> b) -> Final Applicative f a -> Final Applicative f b

liftA2 :: (a -> b -> c) -> Final Applicative f a -> Final Applicative f b -> Final Applicative f c

(*>) :: Final Applicative f a -> Final Applicative f b -> Final Applicative f b

(<*) :: Final Applicative f a -> Final Applicative f b -> Final Applicative f a

Applicative (Final Monad f)

Defined in Data.HFunctor.Final

Methods

pure :: a -> Final Monad f a

(<*>) :: Final Monad f (a -> b) -> Final Monad f a -> Final Monad f b

liftA2 :: (a -> b -> c) -> Final Monad f a -> Final Monad f b -> Final Monad f c

(*>) :: Final Monad f a -> Final Monad f b -> Final Monad f b

(<*) :: Final Monad f a -> Final Monad f b -> Final Monad f a

Applicative (Final MonadPlus f)

Defined in Data.HFunctor.Final

Methods

pure :: a -> Final MonadPlus f a

(<*>) :: Final MonadPlus f (a -> b) -> Final MonadPlus f a -> Final MonadPlus f b

liftA2 :: (a -> b -> c) -> Final MonadPlus f a -> Final MonadPlus f b -> Final MonadPlus f c

(*>) :: Final MonadPlus f a -> Final MonadPlus f b -> Final MonadPlus f b

(<*) :: Final MonadPlus f a -> Final MonadPlus f b -> Final MonadPlus f a

Applicative (Final (MonadReader r) f)

Defined in Data.HFunctor.Final

Methods

pure :: a -> Final (MonadReader r) f a

(<*>) :: Final (MonadReader r) f (a -> b) -> Final (MonadReader r) f a -> Final (MonadReader r) f b

liftA2 :: (a -> b -> c) -> Final (MonadReader r) f a -> Final (MonadReader r) f b -> Final (MonadReader r) f c

(*>) :: Final (MonadReader r) f a -> Final (MonadReader r) f b -> Final (MonadReader r) f b

(<*) :: Final (MonadReader r) f a -> Final (MonadReader r) f b -> Final (MonadReader r) f a

Functor (Final Alternative f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final Alternative f a -> Final Alternative f b

(<$) :: a -> Final Alternative f b -> Final Alternative f a

Functor (Final Applicative f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final Applicative f a -> Final Applicative f b

(<$) :: a -> Final Applicative f b -> Final Applicative f a

Functor (Final Functor f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final Functor f a -> Final Functor f b

(<$) :: a -> Final Functor f b -> Final Functor f a

Functor (Final Monad f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final Monad f a -> Final Monad f b

(<$) :: a -> Final Monad f b -> Final Monad f a

Functor (Final MonadPlus f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final MonadPlus f a -> Final MonadPlus f b

(<$) :: a -> Final MonadPlus f b -> Final MonadPlus f a

Functor (Final (MonadReader r) f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final (MonadReader r) f a -> Final (MonadReader r) f b

(<$) :: a -> Final (MonadReader r) f b -> Final (MonadReader r) f a

Functor (Final Alt f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final Alt f a -> Final Alt f b

(<$) :: a -> Final Alt f b -> Final Alt f a

Functor (Final Apply f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final Apply f a -> Final Apply f b

(<$) :: a -> Final Apply f b -> Final Apply f a

Functor (Final Bind f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final Bind f a -> Final Bind f b

(<$) :: a -> Final Bind f b -> Final Bind f a

Functor (Final Plus f)

Defined in Data.HFunctor.Final

Methods

fmap :: (a -> b) -> Final Plus f a -> Final Plus f b

(<$) :: a -> Final Plus f b -> Final Plus f a

Monad (Final Monad f)

Defined in Data.HFunctor.Final

Methods

(>>=) :: Final Monad f a -> (a -> Final Monad f b) -> Final Monad f b

(>>) :: Final Monad f a -> Final Monad f b -> Final Monad f b

return :: a -> Final Monad f a

Monad (Final MonadPlus f)

Defined in Data.HFunctor.Final

Methods

(>>=) :: Final MonadPlus f a -> (a -> Final MonadPlus f b) -> Final MonadPlus f b

(>>) :: Final MonadPlus f a -> Final MonadPlus f b -> Final MonadPlus f b

return :: a -> Final MonadPlus f a

Monad (Final (MonadReader r) f)

Defined in Data.HFunctor.Final

Methods

(>>=) :: Final (MonadReader r) f a -> (a -> Final (MonadReader r) f b) -> Final (MonadReader r) f b

(>>) :: Final (MonadReader r) f a -> Final (MonadReader r) f b -> Final (MonadReader r) f b

return :: a -> Final (MonadReader r) f a

MonadPlus (Final MonadPlus f)

Defined in Data.HFunctor.Final

Methods

mzero :: Final MonadPlus f a

mplus :: Final MonadPlus f a -> Final MonadPlus f a -> Final MonadPlus f a

Decidable (Final Decidable f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

lose :: (a -> Void) -> Final Decidable f a

choose :: (a -> Either b c) -> Final Decidable f b -> Final Decidable f c -> Final Decidable f a

Divisible (Final Decidable f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

divide :: (a -> (b, c)) -> Final Decidable f b -> Final Decidable f c -> Final Decidable f a

conquer :: Final Decidable f a

Divisible (Final Divisible f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

divide :: (a -> (b, c)) -> Final Divisible f b -> Final Divisible f c -> Final Divisible f a

conquer :: Final Divisible f a

Conclude (Final Decidable f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

conclude :: (a -> Void) -> Final Decidable f a

Conclude (Final Conclude f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

conclude :: (a -> Void) -> Final Conclude f a

Decide (Final Decidable f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

decide :: (a -> Either b c) -> Final Decidable f b -> Final Decidable f c -> Final Decidable f a

Decide (Final Conclude f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

decide :: (a -> Either b c) -> Final Conclude f b -> Final Conclude f c -> Final Conclude f a

Decide (Final Decide f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

decide :: (a -> Either b c) -> Final Decide f b -> Final Decide f c -> Final Decide f a

Divise (Final Divisible f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

divise :: (a -> (b, c)) -> Final Divisible f b -> Final Divisible f c -> Final Divisible f a

divised :: Final Divisible f a -> Final Divisible f b -> Final Divisible f (a, b)

Divise (Final Divise f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

divise :: (a -> (b, c)) -> Final Divise f b -> Final Divise f c -> Final Divise f a

divised :: Final Divise f a -> Final Divise f b -> Final Divise f (a, b)

Inplicative (Final Inplicative f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

knot :: a -> Final Inplicative f a

Inplicative (Final Internative f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

knot :: a -> Final Internative f a

Inply (Final Inplicative f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

gather :: (b -> c -> a) -> (a -> (b, c)) -> Final Inplicative f b -> Final Inplicative f c -> Final Inplicative f a

gathered :: Final Inplicative f a -> Final Inplicative f b -> Final Inplicative f (a, b)

Inply (Final Inply f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

gather :: (b -> c -> a) -> (a -> (b, c)) -> Final Inply f b -> Final Inply f c -> Final Inply f a

gathered :: Final Inply f a -> Final Inply f b -> Final Inply f (a, b)

Inply (Final Internative f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

gather :: (b -> c -> a) -> (a -> (b, c)) -> Final Internative f b -> Final Internative f c -> Final Internative f a

gathered :: Final Internative f a -> Final Internative f b -> Final Internative f (a, b)

Inalt (Final Inalt f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

swerve :: (b -> a) -> (c -> a) -> (a -> Either b c) -> Final Inalt f b -> Final Inalt f c -> Final Inalt f a

swerved :: Final Inalt f a -> Final Inalt f b -> Final Inalt f (Either a b)

Inalt (Final Inplus f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

swerve :: (b -> a) -> (c -> a) -> (a -> Either b c) -> Final Inplus f b -> Final Inplus f c -> Final Inplus f a

swerved :: Final Inplus f a -> Final Inplus f b -> Final Inplus f (Either a b)

Inalt (Final Internative f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

swerve :: (b -> a) -> (c -> a) -> (a -> Either b c) -> Final Internative f b -> Final Internative f c -> Final Internative f a

swerved :: Final Internative f a -> Final Internative f b -> Final Internative f (Either a b)

Inplus (Final Inplus f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

reject :: (a -> Void) -> Final Inplus f a

Inplus (Final Internative f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

reject :: (a -> Void) -> Final Internative f a

Invariant (Final Inplicative f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

invmap :: (a -> b) -> (b -> a) -> Final Inplicative f a -> Final Inplicative f b

Invariant (Final Inply f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

invmap :: (a -> b) -> (b -> a) -> Final Inply f a -> Final Inply f b

Invariant (Final Inalt f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

invmap :: (a -> b) -> (b -> a) -> Final Inalt f a -> Final Inalt f b

Invariant (Final Inplus f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

invmap :: (a -> b) -> (b -> a) -> Final Inplus f a -> Final Inplus f b

Invariant (Final Internative f)

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Methods

invmap :: (a -> b) -> (b -> a) -> Final Internative f a -> Final Internative f b

Invariant (Final Invariant f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

invmap :: (a -> b) -> (b -> a) -> Final Invariant f a -> Final Invariant f b

Pointed (Final Pointed f)

Defined in Data.HFunctor.Final

Methods

point :: a -> Final Pointed f a

Alt (Final Alternative f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

(<!>) :: Final Alternative f a -> Final Alternative f a -> Final Alternative f a

some :: Applicative (Final Alternative f) => Final Alternative f a -> Final Alternative f [a]

many :: Applicative (Final Alternative f) => Final Alternative f a -> Final Alternative f [a]

Alt (Final MonadPlus f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

(<!>) :: Final MonadPlus f a -> Final MonadPlus f a -> Final MonadPlus f a

some :: Applicative (Final MonadPlus f) => Final MonadPlus f a -> Final MonadPlus f [a]

many :: Applicative (Final MonadPlus f) => Final MonadPlus f a -> Final MonadPlus f [a]

Alt (Final Alt f)

Defined in Data.HFunctor.Final

Methods

(<!>) :: Final Alt f a -> Final Alt f a -> Final Alt f a

some :: Applicative (Final Alt f) => Final Alt f a -> Final Alt f [a]

many :: Applicative (Final Alt f) => Final Alt f a -> Final Alt f [a]

Alt (Final Plus f)

Defined in Data.HFunctor.Final

Methods

(<!>) :: Final Plus f a -> Final Plus f a -> Final Plus f a

some :: Applicative (Final Plus f) => Final Plus f a -> Final Plus f [a]

many :: Applicative (Final Plus f) => Final Plus f a -> Final Plus f [a]

Apply (Final Alternative f)

Defined in Data.HFunctor.Final

Methods

(<.>) :: Final Alternative f (a -> b) -> Final Alternative f a -> Final Alternative f b

(.>) :: Final Alternative f a -> Final Alternative f b -> Final Alternative f b

(<.) :: Final Alternative f a -> Final Alternative f b -> Final Alternative f a

liftF2 :: (a -> b -> c) -> Final Alternative f a -> Final Alternative f b -> Final Alternative f c

Apply (Final Applicative f)

Defined in Data.HFunctor.Final

Methods

(<.>) :: Final Applicative f (a -> b) -> Final Applicative f a -> Final Applicative f b

(.>) :: Final Applicative f a -> Final Applicative f b -> Final Applicative f b

(<.) :: Final Applicative f a -> Final Applicative f b -> Final Applicative f a

liftF2 :: (a -> b -> c) -> Final Applicative f a -> Final Applicative f b -> Final Applicative f c

Apply (Final Monad f)

Defined in Data.HFunctor.Final

Methods

(<.>) :: Final Monad f (a -> b) -> Final Monad f a -> Final Monad f b

(.>) :: Final Monad f a -> Final Monad f b -> Final Monad f b

(<.) :: Final Monad f a -> Final Monad f b -> Final Monad f a

liftF2 :: (a -> b -> c) -> Final Monad f a -> Final Monad f b -> Final Monad f c

Apply (Final (MonadReader r) f)

Defined in Data.HFunctor.Final

Methods

(<.>) :: Final (MonadReader r) f (a -> b) -> Final (MonadReader r) f a -> Final (MonadReader r) f b

(.>) :: Final (MonadReader r) f a -> Final (MonadReader r) f b -> Final (MonadReader r) f b

(<.) :: Final (MonadReader r) f a -> Final (MonadReader r) f b -> Final (MonadReader r) f a

liftF2 :: (a -> b -> c) -> Final (MonadReader r) f a -> Final (MonadReader r) f b -> Final (MonadReader r) f c

Apply (Final Apply f)

Defined in Data.HFunctor.Final

Methods

(<.>) :: Final Apply f (a -> b) -> Final Apply f a -> Final Apply f b

(.>) :: Final Apply f a -> Final Apply f b -> Final Apply f b

(<.) :: Final Apply f a -> Final Apply f b -> Final Apply f a

liftF2 :: (a -> b -> c) -> Final Apply f a -> Final Apply f b -> Final Apply f c

Apply (Final Bind f)

Defined in Data.HFunctor.Final

Methods

(<.>) :: Final Bind f (a -> b) -> Final Bind f a -> Final Bind f b

(.>) :: Final Bind f a -> Final Bind f b -> Final Bind f b

(<.) :: Final Bind f a -> Final Bind f b -> Final Bind f a

liftF2 :: (a -> b -> c) -> Final Bind f a -> Final Bind f b -> Final Bind f c

Bind (Final Bind f)

Defined in Data.HFunctor.Final

Methods

(>>-) :: Final Bind f a -> (a -> Final Bind f b) -> Final Bind f b

join :: Final Bind f (Final Bind f a) -> Final Bind f a

Plus (Final Alternative f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

zero :: Final Alternative f a

Plus (Final MonadPlus f)

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Methods

zero :: Final MonadPlus f a

Plus (Final Plus f)

Defined in Data.HFunctor.Final

Methods

zero :: Final Plus f a

fromFinal :: (Inject t, c (t f)) => Final c f ~> t f

Concretize a Final.

fromFinal :: Final Functor f ~> Coyoneda f
fromFinal :: Final Applicative f ~> Ap f
fromFinal :: Final Alternative f ~> Alt f
fromFinal :: Final Monad f ~> Free f
fromFinal :: Final Pointed f ~> Lift f
fromFinal :: Final Plus f ~> ListF f

This can be useful because Final doesn't have a concrete structure that you can pattern match on and inspect, but t might.

In the case that this forms an isomorphism with toFinal, the t will have an instance of FreeOf.

toFinal :: Interpret t (Final c f) => t f ~> Final c f

Finalize an Interpret instance.

toFinal :: Coyoneda f ~> Final Functor f
toFinal :: Ap f ~> Final Applicative f
toFinal :: Alt f ~> Final Alternative f
toFinal :: Free f ~> Final Monad f
toFinal :: Lift f ~> Final Pointed f
toFinal :: ListF f ~> Final Plus f

Note that the instance of c for Final c must be defined.

This operation can potentially forget structure in t. For example, we have:

toFinal :: Steps f ~> Final Alt f

In this process, we lose the "positional" structure of Steps.

In the case where toFinal doesn't lose any information, this will form an isomorphism with fromFinal, and t is known as the "Free c". For such a situation, t will have a FreeOf instance.

class FreeOf c t | t -> c where

A typeclass associating a free structure with the typeclass it is free on.

This essentially lists instances of Interpret where a "trip" through Final will leave it unchanged.

fromFree . toFree == id
toFree . fromFree == id

This can be useful because Final doesn't have a concrete structure that you can pattern match on and inspect, but t might. This lets you work on a concrete structure if you desire.

Minimal complete definition

Nothing

Associated Types

type FreeFunctorBy t :: (Type -> Type) -> Constraint

What "type" of functor is expected: should be either Unconstrained, Functor, Contravariant, or Invariant.

Since: 0.3.0.0

type FreeFunctorBy t = Unconstrained

Methods

fromFree :: t f ~> Final c f

default fromFree :: Interpret t (Final c f) => t f ~> Final c f

toFree :: FreeFunctorBy t f => Final c f ~> t f

default toFree :: (Inject t, c (t f)) => Final c f ~> t f

Instances

FreeOf Contravariant Coyoneda

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Coyoneda :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Coyoneda f ~> Final Contravariant f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Coyoneda f => Final Contravariant f ~> Coyoneda f

FreeOf Alternative Alt

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Alt :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Alt f ~> Final Alternative f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Alt f => Final Alternative f ~> Alt f

FreeOf Applicative Ap

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Ap :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Ap f ~> Final Applicative f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Ap f => Final Applicative f ~> Ap f

FreeOf Applicative Ap

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Ap :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Ap f ~> Final Applicative f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Ap f => Final Applicative f ~> Ap f

FreeOf Functor Coyoneda

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Coyoneda :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Coyoneda f ~> Final Functor f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Coyoneda f => Final Functor f ~> Coyoneda f

FreeOf Monad Free

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Free :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Free f ~> Final Monad f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Free f => Final Monad f ~> Free f

FreeOf Divisible Div

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Div :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Div f ~> Final Divisible f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Div f => Final Divisible f ~> Div f

FreeOf Conclude Dec

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Dec :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Dec f ~> Final Conclude f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Dec f => Final Conclude f ~> Dec f

FreeOf Decide Dec1

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Dec1 :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Dec1 f ~> Final Decide f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Dec1 f => Final Decide f ~> Dec1 f

FreeOf Divise Div1

Since: 0.3.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Div1 :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Div1 f ~> Final Divise f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Div1 f => Final Divise f ~> Div1 f

FreeOf Inplicative DivAp

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy DivAp :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). DivAp f ~> Final Inplicative f

toFree :: forall (f :: Type -> Type). FreeFunctorBy DivAp f => Final Inplicative f ~> DivAp f

FreeOf Inply DivAp1

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy DivAp1 :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). DivAp1 f ~> Final Inply f

toFree :: forall (f :: Type -> Type). FreeFunctorBy DivAp1 f => Final Inply f ~> DivAp1 f

FreeOf Inalt DecAlt1

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy DecAlt1 :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). DecAlt1 f ~> Final Inalt f

toFree :: forall (f :: Type -> Type). FreeFunctorBy DecAlt1 f => Final Inalt f ~> DecAlt1 f

FreeOf Inplus DecAlt

Since: 0.4.0.0

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy DecAlt :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). DecAlt f ~> Final Inplus f

toFree :: forall (f :: Type -> Type). FreeFunctorBy DecAlt f => Final Inplus f ~> DecAlt f

FreeOf Pointed MaybeApply

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy MaybeApply :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). MaybeApply f ~> Final Pointed f

toFree :: forall (f :: Type -> Type). FreeFunctorBy MaybeApply f => Final Pointed f ~> MaybeApply f

FreeOf Pointed Lift

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Lift :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Lift f ~> Final Pointed f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Lift f => Final Pointed f ~> Lift f

FreeOf Apply Ap1

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Ap1 :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Ap1 f ~> Final Apply f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Ap1 f => Final Apply f ~> Ap1 f

FreeOf Bind Free1

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy Free1 :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). Free1 f ~> Final Bind f

toFree :: forall (f :: Type -> Type). FreeFunctorBy Free1 f => Final Bind f ~> Free1 f

FreeOf Alt (NonEmptyF :: (Type -> Type) -> Type -> Type)

This could also be FreeOf Divise if FreeFunctorBy NonEmptyF ~ Contravariant. However, there isn't really a way to express this at the moment.

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy NonEmptyF :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). NonEmptyF f ~> Final Alt f

toFree :: forall (f :: Type -> Type). FreeFunctorBy NonEmptyF f => Final Alt f ~> NonEmptyF f

FreeOf Plus (ListF :: (Type -> Type) -> Type -> Type)

This could also be FreeOf Divisible if FreeFunctorBy ListF ~ Contravariant. However, there isn't really a way to express this at the moment.

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy ListF :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). ListF f ~> Final Plus f

toFree :: forall (f :: Type -> Type). FreeFunctorBy ListF f => Final Plus f ~> ListF f

FreeOf (Unconstrained :: (Type -> Type) -> Constraint) (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Data.HFunctor.Final

Associated Types

type FreeFunctorBy IdentityT :: (Type -> Type) -> Constraint

Methods

fromFree :: forall (f :: Type -> Type). IdentityT f ~> Final Unconstrained f

toFree :: forall (f :: Type -> Type). FreeFunctorBy IdentityT f => Final Unconstrained f ~> IdentityT f

finalizing :: (FreeOf c t, FreeFunctorBy t f) => t f <~> Final c f

The isomorphism between a free structure and its encoding as Final.

hoistFinalC :: (forall g x. (c g => g x) -> d g => g x) -> Final c f a -> Final d f a

Re-interpret the context under a Final.

liftFinal0 :: (forall g. c g => g a) -> Final c f a

Lift an action into a Final.

liftFinal1 :: (forall g. c g => g a -> g b) -> Final c f a -> Final c f b

Map the action in a Final.

liftFinal2 :: (forall g. c g => g a -> g b -> g d) -> Final c f a -> Final c f b -> Final c f d

Merge two Final actions.