when_EqKind | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
when_KiFun | Language.Symantic.Typing.Kind, Language.Symantic.Typing, Language.Symantic |
WithFixity | |
1 (Type/Class) | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
2 (Data Constructor) | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
withInfix | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
withInfixB | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
withInfixL | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
withInfixN | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
withInfixR | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
withPostfix | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
withPrefix | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic |
withSource | Language.Symantic |