Yoga.Fetch.Om.Variant

class OnlyVariant :: RowList Type -> Row Type -> Type -> Constraintclass OnlyVariant rl row a | rl -> row a where

Members

• onlyImpl :: Proxy rl -> Variant row -> a

Instances

• (IsSymbol label, Cons label a () row) => OnlyVariant (Cons label a Nil) row a

only :: forall row rl a. RowToList row rl => OnlyVariant rl row a => Variant row -> a

class VariantOrValue :: RowList Type -> Row Type -> Type -> Constraintclass VariantOrValue rl row result | rl row -> result where

Members

• variantOrValue :: Proxy rl -> Variant row -> result

Instances

• (IsSymbol label, Cons label a () row) => VariantOrValue (Cons label a Nil) row a
• VariantOrValue (Cons label a (Cons label2 a2 tail)) row (Variant row)