... This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. ... If a copy of the MPL was not distributed with this file, You can obtain one at https://mozilla.org/MPL/2.0/. (.require [library [lux (.except All Location all left right) [data ["[0]" text]] [meta ["[0]" code (.only) ["s" \\parser]] [macro [syntax (.only syntax)] ["[0]" template]] [type ["[0]" nominal (.except def)]]]]] [// [value (.only All Number Length Thickness Time Color Location Fit Slice Alignment Animation_Direction Animation Animation_Fill Column_Fill Column_Span Iteration Count Play Timing Visibility Attachment Blend Span Image Angle Repeat Border Collapse Box_Decoration_Break Caption Float Clear Content Cursor Shadow Clip Text_Direction Display Empty Filter Flex_Direction Flex_Wrap Font Font_Kerning Font_Size Font_Stretch Font_Style Font_Weight Font_Variant Grid Grid_Content Grid_Flow Grid_Span Grid_Template Hanging_Punctuation Hyphens Isolation List_Style_Position List_Style_Type Overflow Page_Break Pointer_Events Position Quotes Resize Scroll_Behavior Table_Layout Text_Align Text_Align_Last Text_Decoration_Line Text_Decoration_Style Text_Justification Text_Overflow Text_Transform Transform Transform_Origin Transform_Style Transition Bidi User_Select Vertical_Align White_Space Word_Break Word_Wrap Writing_Mode Z_Index)]]) (def text_symbol (syntax (_ [symbol s.text]) (in (list (code.local (text.replaced "-" "_" symbol)))))) (nominal.def .public (Property brand) Text (def .public name (-> (Property Any) Text) (|>> representation)) (with_template [ + +] [(`` (with_template [ ] [(def .public (Property ) (abstraction ))] (,, (template.spliced +)))) (with_expansions [ (template.spliced +)] (with_template [] [(`` (def .public (,, (text_symbol )) (Property ) (abstraction )))] ))] [All [] [["all"]]] [Length [] [["border-image-outset"] ["border-image-width"] ["bottom"] ["column-gap"] ["column-width"] ["flex-basis"] ["grid-column-gap"] ["grid-gap"] ["grid-row-gap"] ["height"] ["left"] ["letter-spacing"] ["line-height"] ["margin"] ["margin-bottom"] ["margin-left"] ["margin-right"] ["margin-top"] ["max-height"] ["max-width"] ["min-height"] ["min-width"] ["outline-offset"] ["padding"] ["padding-bottom"] ["padding-left"] ["padding-right"] ["padding-top"] ["perspective"] ["right"] ["text-indent"] ["top"] ["width"] ["word-spacing"]]] [Time [] [["animation-delay"] ["animation-duration"] ["transition-delay"] ["transition-duration"]]] [Slice [] [["border-image-slice"]]] [Color [[text_color "color"]] [["background-color"] ["border-color"] ["border-bottom-color"] ["border-left-color"] ["border-right-color"] ["border-top-color"] ["caret-color"] ["column-rule-color"] ["outline-color"] ["text-decoration-color"]]] [Alignment [] [["align-content"] ["align-items"] ["align-self"] ["justify-content"]]] [Animation [] [["animation-name"]]] [Animation_Direction [] [["animation-direction"]]] [Animation_Fill [] [["animation-fill-mode"]]] [Column_Fill [] [["column-fill"]]] [Column_Span [] [["column-span"]]] [Iteration [] [["animation-iteration-count"]]] [Count [] [["column-count"] ["flex-grow"] ["flex-shrink"] ["order"] ["tab-size"]]] [Play [] [["animation-play-state"]]] [Timing [] [["animation-timing-function"] ["transition-timing-function"]]] [Visibility [] [["backface-visibility"] ["visibility"]]] [Attachment [] [["background-attachment"]]] [Blend [] [["background-blend-mode"] ["mix-blend-mode"]]] [Image [] [["background-image"] ["border-image-source"] ["list-style-image"]]] [Span [] [["background-clip"] ["background-origin"] ["box-sizing"]]] [Location [] [["background-position"] ["object-position"] ["perspective-origin"]]] [Repeat [] [["background-repeat"] ["border-image-repeat"]]] [Fit [] [["background-size"] ["border-radius"] ["border-bottom-left-radius"] ["border-bottom-right-radius"] ["border-top-left-radius"] ["border-top-right-radius"] ["border-spacing"] ["object-fit"]]] [Border [] [["border-style"] ["border-bottom-style"] ["border-left-style"] ["border-right-style"] ["border-top-style"] ["column-rule-style"] ["outline-style"]]] [Thickness [] [["border-width"] ["border-bottom-width"] ["border-left-width"] ["border-right-width"] ["border-top-width"] ["column-rule-width"] ["outline-width"]]] [Collapse [] [["border-collapse"]]] [Box_Decoration_Break [] [["box-decoration-break"]]] [Caption [] [["caption-side"]]] [Clear [] [["clear"]]] [Shadow [] [["box-shadow"] ["text-shadow"]]] [Clip [] [["clip"]]] [Content [] [["counter-reset"] ["counter-increment"]]] [Cursor [] [["cursor"]]] [Text_Direction [[text_direction "direction"]] []] [Display [] [["display"]]] [Empty [] [["empty-cells"]]] [Filter [] [["filter"]]] [Flex_Direction [] [["flex-direction"]]] [Flex_Wrap [] [["flex-wrap"]]] [Float [] [["float"]]] [Font [] [["font-family"]]] [Font_Kerning [] [["font-kerning"]]] [Font_Size [] [["font-size"]]] [Font_Stretch [] [["font-stretch"]]] [Font_Style [] [["font-style"]]] [Font_Weight [] [["font-weight"]]] [Font_Variant [] [["font-variant"]]] [Grid [] [["grid-area"]]] [Grid_Content [] [["grid-auto-columns"] ["grid-auto-rows"] ["grid-template-columns"] ["grid-template-rows"]]] [Grid_Flow [] [["grid-auto-flow"]]] [Grid_Span [] [["grid-column-end"] ["grid-column-start"] ["grid-row-end"] ["grid-row-start"]]] [Grid_Template [] [["grid-template-areas"]]] [Hanging_Punctuation [] [["hanging-punctuation"]]] [Hyphens [] [["hyphens"]]] [Isolation [] [["isolation"]]] [List_Style_Position [] [["list-style-position"]]] [List_Style_Type [] [["list-style-type"]]] [Number [] [["font-size-adjust"] ["opacity"]]] [Overflow [] [["overflow"] ["overflow-x"] ["overflow-y"]]] [Page_Break [] [["page-break-after"] ["page-break-before"] ["page-break-inside"]]] [Pointer_Events [] [["pointer-events"]]] [Position [] [["position"]]] [Quotes [] [["quotes"]]] [Resize [] [["resize"]]] [Scroll_Behavior [] [["scroll-behavior"]]] [Table_Layout [] [["table-layout"]]] [Text_Align [] [["text-align"]]] [Text_Align_Last [] [["text-align-last"]]] [Text_Decoration_Line [] [["text-decoration-line"]]] [Text_Decoration_Style [] [["text-decoration-style"]]] [Text_Justification [] [["text-justify"]]] [Text_Overflow [] [["text-overflow"]]] [Text_Transform [] [["text-transform"]]] [Transform [] [["transform"]]] [Transform_Origin [] [["transform-origin"]]] [Transform_Style [] [["transform-style"]]] [Transition [] [["transition-property"]]] [Bidi [] [["unicode-bidi"]]] [User_Select [] [["user-select"]]] [Vertical_Align [] [["vertical-align"]]] [White_Space [] [["white-space"]]] [Word_Break [] [["word-break"]]] [Word_Wrap [] [["word-wrap"]]] [Writing_Mode [] [["writing-mode"]]] [Z_Index [] [["z-index"]]] ) )