haskell-tools-builtin-refactorings-1.0.0.0: examples/Decl/RecordPatternSynonyms.hs

{-# LANGUAGE PatternSynonyms #-}
module Decl.RecordPatternSynonyms where

pattern XPoint {xp} <- (xp, 0) where XPoint xp = (xp, 0)

pattern Point {x, y} = (x, y)

r = (0, 0) { x = 1 }