tail | Copilot.Language.Prelude, Copilot.Language, Copilot |
takeWhile | Copilot.Language.Prelude, Copilot.Language, Copilot |
tan | Copilot.Language.Prelude, Copilot.Language, Copilot |
tanh | Copilot.Language.Prelude, Copilot.Language, Copilot |
theorem | Copilot.Language.Spec, Copilot.Language, Copilot |
theorems | Copilot.Language.Spec |
toEnum | Copilot.Language.Prelude, Copilot.Language, Copilot |
toInteger | Copilot.Language.Prelude, Copilot.Language, Copilot |
toRational | Copilot.Language.Prelude, Copilot.Language, Copilot |
toValues | Copilot.Language, Copilot |
Traversable | Copilot.Language.Prelude, Copilot.Language, Copilot |
traverse | Copilot.Language.Prelude, Copilot.Language, Copilot |
Trigger | |
1 (Type/Class) | Copilot.Language.Spec |
2 (Data Constructor) | Copilot.Language.Spec |
trigger | Copilot.Language.Spec, Copilot.Language, Copilot |
triggers | Copilot.Language.Spec |
True | Copilot.Language.Prelude, Copilot.Language, Copilot |
true | Copilot.Language.Operators.Boolean, Copilot.Language, Copilot |
truncate | Copilot.Language.Prelude, Copilot.Language, Copilot |
tylength | Copilot.Language, Copilot |
Type | Copilot.Language, Copilot |
Typed | Copilot.Language, Copilot |
typename | Copilot.Language, Copilot |
typeOf | Copilot.Language, Copilot |
tysize | Copilot.Language, Copilot |