Modulerow-types-1.0.1.2Haskell2010

Data.Row.Switch

This module provides the ability to discharge a polymorphic variant using a record that has matching fields.

1 class
2 values

Packagerow-types-1.0.1.2
Exports3
LanguageHaskell2010
LicenceMIT
SourceSwitch.hs

classclass AppliesTo r f x | r x -> f, f r -> x where

A simple class that we use to provide a constraint for function application.

Methods

applyTo :: f -> x -> r

Instances1AppliesTo

AppliesTo r (x -> r) xDefined in row-types-1.0.1.2 · Data.Row.Switch

valueswitch :: BiForall r v (AppliesTo x) => Var v -> Rec r -> x

A Var and a Rec can combine if their rows line up properly. Given a Variant along with a Record of functions from each possible value of the variant to a single output type, apply the correct function to the value in the variant.

valuecaseon :: BiForall r v (AppliesTo x) => Rec r -> Var v -> x

The same as switch but with the argument order reversed