Copyright	(c) Sirui Lu 2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	Safe-Inferred
Language	Haskell2010

Grisette.Unified.Internal.Util

Description

Synopsis

withMode :: forall mode r. Typeable mode => (mode ~ 'Con => r) -> (mode ~ 'Sym => r) -> r

Documentation

withMode :: forall mode r. Typeable mode => (mode ~ 'Con => r) -> (mode ~ 'Sym => r) -> r Source #

Case analysis on the mode.