shareable | Symantic.Typed.ObserveSharing, Symantic.Typed |
SharingName | |
1 (Type/Class) | Symantic.Typed.ObserveSharing, Symantic.Typed |
2 (Data Constructor) | Symantic.Typed.ObserveSharing, Symantic.Typed |
ShowLetName | Symantic.Typed.ObserveSharing, Symantic.Typed |
showLetName | Symantic.Typed.ObserveSharing, Symantic.Typed |
Side | Symantic.Typed.Fixity |
SideL | Symantic.Typed.Fixity |
SideR | Symantic.Typed.Fixity |
SomeData | |
1 (Type/Class) | Symantic.Typed.Data, Symantic.Typed |
2 (Data Constructor) | Symantic.Typed.Data, Symantic.Typed |
SomeLet | |
1 (Type/Class) | Symantic.Typed.ObserveSharing, Symantic.Typed |
2 (Data Constructor) | Symantic.Typed.ObserveSharing, Symantic.Typed |
Substractable | Symantic.Dityped.Lang, Symantic.Dityped |