Skip to content

Inline simple effect primitives #31

Open
@ilyakooo0

Description

@ilyakooo0

I am wondering if it might make sense to mark the simple effect primitives of the form foo ... = send $ Effect ... like put from State with INLINE pragmas?

put :: forall s effs. Member (State s) effs => s -> Eff effs ()
put s = send (Put s)

Is there a reason this has not already been done? Functions like these seem like prime targets for human-directed inling.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions