thunderstrike/purescript-range
thunderstrike/purescript-range
2
0
Fork 0
generated from tpl/purs
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: more functor

Browse Source
This commit is contained in:
orion 2023-12-20 20:24:31 -06:00
parent 3aa6dd1576
commit 20b8d37b4b
Signed by: orion
GPG Key ID: 6D4165AE4C928719
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data.Range.purs
View File

@ -11,6 +11,10 @@ data RangeOrExact a
= RangeNotExact (Range a) = RangeNotExact (Range a)
| RangeExact a | RangeExact a
instance Functor RangeOrExact where
map f (RangeExact a) = RangeExact $ f a
map f (RangeNotExact r) = RangeNotExact $ map f r
data Bound a data Bound a
= BoundIncluding a = BoundIncluding a
| BoundExcluding a | BoundExcluding a