File: bidirectional-out.hs

package info (click to toggle)
haskell-ormolu 0.1.2.0-1
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 3,392 kB
  • sloc: haskell: 11,134; makefile: 7
file content (28 lines) | stat: -rw-r--r-- 356 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE PatternSynonyms #-}

pattern Arrow t1 t2 = App "->" [t1, t2]

pattern Arrow {t1, t2} = App "->" [t1, t2]

pattern Arrow
  { t1,
    t2
  } =
  App "->" [t1, t2]

pattern Int =
  App "Int" []

pattern Maybe {t} =
  App
    "Maybe"
    [t]

pattern Maybe t =
  App
    "Maybe"
    [t]

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