module FF.CSS.Generic where

open import Agda.Builtin.String using (String)
open import Agda.Primitive using (lzero) renaming (Set to Type)

import Generic.Core as Generic

open import FF.CSS.Spec.Safe.Property using (PropertyName)

data CssAtomCode : Type lzero where
  propertyAtom rawValueAtom : CssAtomCode

CssAtom : CssAtomCode -> Type lzero
CssAtom propertyAtom = PropertyName
CssAtom rawValueAtom = String

CssAtoms : Generic.AtomUniverse lzero
CssAtoms = Generic.atomUniverse CssAtomCode CssAtom