shithub: MicroHs

ref: c7a159441ad12b25e7d3b6ad6d5c93c01cdea4a0
dir: /lib/Data/Constraint.hs/

View raw version 
-- Copyright 2023 Lennart Augustsson
-- See LICENSE file for full license.
module Data.Constraint(module Data.Constraint) where
import Primitives  -- for (->)
-- A very, very minimal version of the constraints package

data Dict (c :: Constraint) = c => Dict

withDict :: forall (c :: Constraint) r . Dict c -> (c => r) -> r
withDict Dict r = r