Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

small doc fix to pisJust

Browse source
This commit is contained in:
fanghr 2022-05-07 17:00:59 +08:00
parent 9dc4a87ab3
commit ccf8229eed
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora/Agora/Utils.hs
View file

@ -212,7 +212,7 @@ pfromMaybe = phoistAcyclic $
PJust a' -> a'
PNothing -> e
-- | Yield True if a given PMaybe is of form PJust _.
-- | Yield True if a given PMaybe is of form @'PJust' _@.
pisJust :: forall a s. Term s (PMaybe a :--> PBool)
pisJust = phoistAcyclic $
plam $ \v' ->