Skip to content

Ill-typed hoistLiftApp and hoistLowerApp #17

Open
@eric-corumdigital

Description

@eric-corumdigital
hoistLiftApp :: forall f g a. f (g a) -> f (App g a)

should be

hoistLiftApp :: forall f g a. Functor f => f (g a) -> f (App g a)

because it is implemented by:

hoistLiftApp = map wrap

Also,

hoistLowerApp :: forall f g a. f (App g a) -> f (g a)

should be

hoistLowerApp :: forall f g a. Functor f => f (App g a) -> f (g a)

because it is implemented by:

hoistLowerApp = map unwrap

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions