Format type error examples.

Author: nsaunders

examples/type-errors/FontFaceMissingFontFamily.purs

@@ -9,7 +9,10 @@ See https://www.w3.org/TR/css-fonts-4/#font-family-desc for more information.
 
 module TypeError.FontFaceMissingFontFamily where
 
-import Tecton (CSS, fontFace, fontFamily, src, url, (?), (:=))
+import Tecton (CSS, fontFace, fontFamily, src, url, (:=), (?))
+import Tecton.Rule as Rule
 
 css :: CSS
-css = fontFace ? src := url "foo.woff"
+css =
+  fontFace ? Rule.do
+    src := url "foo.woff"

examples/type-errors/GradientConsecutiveTransitionHints.purs

@@ -11,12 +11,23 @@ information.
 module TypeError.GradientConsecutiveTransitionHints where
 
 import Prelude
+
 import Color (black, white)
 import Data.Tuple.Nested ((/\))
-import Tecton (CSS, backgroundImage, deg, linearGradient, pct, universal, (:=), (?))
+import Tecton
+  ( CSS
+  , backgroundImage
+  , deg
+  , linearGradient
+  , pct
+  , universal
+  , (:=)
+  , (?)
+  )
+import Tecton.Rule as Rule
 
 css :: CSS
 css =
-  universal ?
+  universal ? Rule.do
     backgroundImage :=
       linearGradient (deg 180) $ black /\ pct 40 /\ pct 50 /\ white

examples/type-errors/GradientInsufficientColorStops.purs

@@ -11,7 +11,10 @@ information.
 module TypeError.GradientInsufficientColorStops where
 
 import Color (black, white)
-import Tecton (CSS, backgroundImage, deg, linearGradient, universal, (?), (:=))
+import Tecton (CSS, backgroundImage, deg, linearGradient, universal, (:=), (?))
+import Tecton.Rule as Rule
 
 css :: CSS
-css = universal ? backgroundImage := linearGradient (deg 180) black
+css =
+  universal ? Rule.do
+    backgroundImage := linearGradient (deg 180) black

examples/type-errors/GridTemplateColumnsAutoRepeatWithFlex.purs

@@ -12,9 +12,21 @@ information.
 module TypeError.GridTemplateColumnsAutoRepeatWithFlex where
 
 import Data.Tuple.Nested ((/\))
-import Tecton (CSS, autoFill, fr, gridTemplateColumns, pct, px, repeat, universal, (?), (:=))
+import Tecton
+  ( CSS
+  , autoFill
+  , fr
+  , gridTemplateColumns
+  , pct
+  , px
+  , repeat
+  , universal
+  , (:=)
+  , (?)
+  )
+import Tecton.Rule as Rule
 
 css :: CSS
 css =
-  universal ?
+  universal ? Rule.do
     gridTemplateColumns := fr 1 /\ repeat autoFill (px 100 /\ pct 10)

examples/type-errors/GridTemplateColumnsMultipleAutoRepeat.purs

@@ -12,9 +12,21 @@ information.
 module TypeError.GridTemplateColumnsMultipleAutoRepeat where
 
 import Data.Tuple.Nested ((/\))
-import Tecton (CSS, autoFill, autoFit, gridTemplateColumns, pct, px, repeat, universal, (?), (:=))
+import Tecton
+  ( CSS
+  , autoFill
+  , autoFit
+  , gridTemplateColumns
+  , pct
+  , px
+  , repeat
+  , universal
+  , (:=)
+  , (?)
+  )
+import Tecton.Rule as Rule
 
 css :: CSS
 css =
-  universal ?
+  universal ? Rule.do
     gridTemplateColumns := repeat autoFit (px 100) /\ repeat autoFill (pct 10)

examples/type-errors/KeyframesNonAnimatableProperty.purs

@@ -12,12 +12,14 @@ for more information.
 module TypeError.KeyframesNonAnimatableProperty where
 
 import Prelude
+
 import Tecton (CSS, content, keyframes, keyframesName, nil, pct, (:=), (?))
+import Tecton.Rule as Rule
 
 css :: CSS
 css = do
   keyframes (keyframesName "foo") ? do
-    pct 0 ?
+    pct 0 ? Rule.do
       content := ""
-    pct 100 ?
+    pct 100 ? Rule.do
       content := "hello"

examples/type-errors/RulesetPropertyAppearsTwice.purs

@@ -10,7 +10,7 @@ reviewed.
 module TypeError.RulesetPropertyAppearsTwice where
 
 import Color (black, white)
-import Tecton (CSS, color, universal, (?), (:=))
+import Tecton (CSS, color, universal, (:=), (?))
 import Tecton.Rule as Rule
 
 css :: CSS

examples/type-errors/SelectorMultiplePseudoElements.purs

@@ -14,7 +14,20 @@ unclear. Google it: https://www.google.com/search?q=%22sub+pseudo+elements%22
 
 module TypeError.SelectorMultiplePseudoElements where
 
-import Tecton (CSS, after, color, currentColor, placeholder, universal, (&:), (?), (:=))
+import Tecton
+  ( CSS
+  , after
+  , color
+  , currentColor
+  , placeholder
+  , universal
+  , (&:)
+  , (:=)
+  , (?)
+  )
+import Tecton.Rule as Rule
 
 css :: CSS
-css = universal &: placeholder &: after ? color := currentColor
+css =
+  universal &: placeholder &: after ? Rule.do
+    color := currentColor

examples/type-errors/SelectorPseudoClassingPseudoElement.purs

@@ -12,7 +12,20 @@ nor Firefox 107, supports this notion of "pseudo-classing pseudo-elements".
 
 module TypeError.SelectorPseudoClassingPseudoElement where
 
-import Tecton (CSS, after, hover, textDecorationLine, underline, universal, (&:), (?), (:=))
+import Tecton
+  ( CSS
+  , after
+  , hover
+  , textDecorationLine
+  , underline
+  , universal
+  , (&:)
+  , (:=)
+  , (?)
+  )
+import Tecton.Rule as Rule
 
 css :: CSS
-css = universal &: after &: hover ? textDecorationLine := underline
+css =
+  universal &: after &: hover ? Rule.do
+    textDecorationLine := underline

examples/type-errors/SelectorPseudoElementDescendant.purs

@@ -10,7 +10,10 @@ information.
 
 module TypeError.SelectorPseudoElementDescendant where
 
-import Tecton (CSS, after, nil, universal, width, (&:), (|*), (?), (:=))
+import Tecton (CSS, after, nil, universal, width, (&:), (:=), (?), (|*))
+import Tecton.Rule as Rule
 
 css :: CSS
-css = universal &: after |* universal ? width := nil
+css =
+  universal &: after |* universal ? Rule.do
+    width := nil

examples/type-errors/TransitionPropertyNotAnimatable.purs

@@ -11,7 +11,10 @@ for more information.
 
 module TypeError.TransitionPropertyNotAnimatable where
 
-import Tecton (CSS, alignContent, transitionProperty, universal, (?), (:=))
+import Tecton (CSS, alignContent, transitionProperty, universal, (:=), (?))
+import Tecton.Rule as Rule
 
 css :: CSS
-css = universal ? transitionProperty := alignContent
+css =
+  universal ? Rule.do
+    transitionProperty := alignContent