Searched defs:KnownSymbol (Results 1 – 4 of 4) sorted by relevance
80 class KnownSymbol (n :: Symbol) where constructor
1506 instance KnownSymbol a => SingI a where sing = SSym function
122 data KeyNameProxy (s :: Symbol) = KnownSymbol s => KeyNameProxy constructor