hobbits-1.3: A library for canonically representing terms with binding

Copyright(c) 2020 Edwin Westbrook
LicenseBSD3
Maintainerwestbrook@galois.com
Stabilityexperimental
PortabilityGHC
Safe HaskellNone
LanguageHaskell2010

Data.Binding.Hobbits.NuMatchingInstances

Contents

Description

Provides a set of instances of NuMatching for standard types using the template Haskell mkNuMatching function

Orphan instances

NuMatching a => NuMatching (Maybe a) Source # 
Instance details

(NuMatching a, NuMatching b) => NuMatching (Either a b) Source # 
Instance details

NuMatching (Proxy a) Source # 
Instance details

NuMatching (a :~: b) Source # 
Instance details

NuMatching a => NuMatching (Constant a b) Source # 
Instance details

NuMatching (Member ctx a) Source # 
Instance details