constraints-emerge

Version 0.1.1 revision 0 uploaded 2018-04-18T13:39:17.000Z by isovector.

Package meta

Synopsis

Defer instance lookups until runtime

Description

This plugin allows you to write

{-# OPTIONS_GHC -fplugin Data.Constraint.Emerge.Plugin #-}
module Test where

import Data.Constraint.Emerge

showAnything :: forall c. Emerge (Show c) => c -> String
showAnything c =
case emerge @(Show c) of
Just Dict -> show c
Nothing   -> ""

See test/EmergeSpec.hs for a few examples of what this plugin can do for you.

Author

Sandy Maguire

Bug reports

n/a

Category

Constraints

Copyright

2018 Sandy Maguire

Homepage

https://github.com/isovector/constraints-emerge

Maintainer

sandy@sandymaguire.me

Package URL

n/a

Stability

n/a

Components

• lib:constraints-emerge
• test:tests