fourmolu-0.0.6.0: data/examples/declaration/value/pattern-synonyms/explicitely-bidirectional-out.hs

{-# LANGUAGE PatternSynonyms #-}

pattern HeadC x <-
  x : xs
  where
    HeadC x = [x]

pattern HeadC' x <-
  x : xs
  where
    HeadC' x = [x]

pattern Simple <-
  "Simple"
  where
    Simple = "Complicated"

pattern a :< b <-
  (a, b)
  where
    a :< b = (a, b)