concat-satisfy-0.1.0.0: GHC plugin for forcing constraint satisfaction
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConCat.Satisfy

Description

Magic function interface to ConCat.Satisfy.Plugin

Synopsis
  • satisfy :: forall c z. (c => z) -> z
  • satisfy' :: forall ev c z. ev -> (c => z) -> z
  • satisfy1 :: forall c f a. (c f => f a) -> f a
  • satisfy2 :: forall c f a b. (c f => f a b) -> f a b

Documentation

satisfy :: forall c z. (c => z) -> z Source #

Magic function to satisfy a constraint. Requires -fplugin=ConCat.Satisfy.Plugin to work.

satisfy' :: forall ev c z. ev -> (c => z) -> z Source #

satisfy1 :: forall c f a. (c f => f a) -> f a Source #

satisfy2 :: forall c f a b. (c f => f a b) -> f a b Source #