Skip to content

Instantly share code, notes, and snippets.

@vilu
Created September 18, 2018 19:21
Show Gist options
  • Save vilu/6d7afd9c564f5caf01e1631c28c575a7 to your computer and use it in GitHub Desktop.
Save vilu/6d7afd9c564f5caf01e1631c28c575a7 to your computer and use it in GitHub Desktop.
-- | The Halogen component eval effect monad.
newtype HalogenM' s act ps o m a = HalogenM (Free (HalogenF s act ps o m) a)
-- | The Halogen component eval effect monad, for components constructed with
-- | the `component` smart constructor. This is more constrained than
-- | `HalogenM'` as it only allows for query algebra actions (kind
-- | `Type -> Type` rather than `Type`).
type HalogenM s act = HalogenM' s (act Unit)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment