pi | Copilot.Language.Prelude, Copilot.Language, Copilot |
pred | Copilot.Language.Prelude, Copilot.Language, Copilot |
prettyPrint | Copilot.Language, Copilot |
print | Copilot.Language.Prelude, Copilot.Language, Copilot |
product | Copilot.Language.Prelude, Copilot.Language, Copilot |
Prop | Copilot.Language.Spec |
prop | Copilot.Language.Spec, Copilot.Language, Copilot |
properFraction | Copilot.Language.Prelude, Copilot.Language, Copilot |
properties | Copilot.Language.Spec |
Property | |
1 (Type/Class) | Copilot.Language.Spec |
2 (Data Constructor) | Copilot.Language.Spec |
pure | Copilot.Language.Prelude, Copilot.Language, Copilot |
putChar | Copilot.Language.Prelude, Copilot.Language, Copilot |
putStr | Copilot.Language.Prelude, Copilot.Language, Copilot |
putStrLn | Copilot.Language.Prelude, Copilot.Language, Copilot |