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

fix: more tuplecontaining fixes

Browse Source
This commit is contained in:
orion 2023-11-18 17:46:41 -06:00
parent 20ab53459b
commit e7fecc01ed
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.Tuple.Containing.purs
View File

@ -17,6 +17,10 @@ else instance TupleContaining a (a /\ b) where
extract = fst extract = fst
else instance TupleContaining b (a /\ b) where else instance TupleContaining b (a /\ b) where
extract = snd extract = snd
else instance TupleContaining b (a /\ b /\ c) where
extract (_ /\ b /\ _) = b
else instance TupleContaining c (a /\ b /\ c) where
extract (_ /\ _ /\ c) = c
else instance TupleContaining b (a /\ b /\ Unit) where else instance TupleContaining b (a /\ b /\ Unit) where
extract (_ /\ b /\ _) = b extract (_ /\ b /\ _) = b
else instance TupleContaining a tail => TupleContaining a (Tuple head tail) where else instance TupleContaining a tail => TupleContaining a (Tuple head tail) where