| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Miso.Css.Style.AncestorConstraint
Documentation
data AncestorConstraint (p :: [Seg]) where Source #
Constructors
| CssOrphan :: forall (ms :: MatchScope). Proxy ms -> AncestorConstraint '['(ms, '[] :: [SubSeg], '[] :: [SubSeg], '[] :: [[(MatchScope, [SubSeg])]])] | |
| AddRoot :: forall (ac :: [Seg]). AncestorConstraint ac -> AncestorConstraint (AddSubSeg 'R ac) | |
| AddSiblingBranch :: forall (sgs :: [(MatchScope, [SubSeg])]) (ac :: [Seg]). SiblingBranch sgs -> AncestorConstraint ac -> AncestorConstraint (AddSiblingBr sgs ac) | |
| NextAncestor :: forall (ms :: MatchScope) (ac :: [(MatchScope, [SubSeg], [SubSeg], [[(MatchScope, [SubSeg])]])]). Proxy ms -> AncestorConstraint ac -> AncestorConstraint ('(ms, '[] :: [SubSeg], '[] :: [SubSeg], '[] :: [[(MatchScope, [SubSeg])]]) ': ac) | |
| AddSubSegConstraint :: forall (a :: Symbol) (c :: Symbol -> SubSeg) (ac :: [Seg]). KnownSymbol a => Proxy c -> Proxy a -> AncestorConstraint ac -> AncestorConstraint (AddSubSeg (c a) ac) |