name: constraints-emerge version: 0.1.2 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 -> "{{unshowable}}" @ . where the 'Emerge (Show c)' will automatically be discharged for any monomorphic 'c'. . See for a few examples of what this plugin can do for you. homepage: https://github.com/isovector/constraints-emerge license: MIT license-file: LICENSE author: Sandy Maguire maintainer: sandy@sandymaguire.me copyright: 2018 Sandy Maguire category: Constraints build-type: Simple extra-source-files: ChangeLog.md, README.md cabal-version: >=1.10 tested-with: GHC ==8.0.1, GHC ==8.0.2, GHC ==8.2.2 library exposed-modules: Data.Constraint.Emerge.Plugin exposed-modules: Data.Constraint.Emerge build-depends: base >=4.9 && <5 build-depends: hashable build-depends: ghc >=8.0.1 build-depends: constraints build-depends: containers default-language: Haskell2010 Test-Suite tests type: exitcode-stdio-1.0 default-language: Haskell2010 other-modules: EmergeSpec hs-Source-Dirs: test main-is: Main.hs build-depends: base >=4.9 && <5, constraints, hspec, constraints-emerge, transformers source-repository head type: git location: git://github.com/isovector/constraints-emerge.git