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:49:29 -06:00
parent e7fecc01ed
commit 3f51f47d0c
Signed by: orion
GPG Key ID: 6D4165AE4C928719
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data.Tuple.Containing.purs
View File

@ -19,10 +19,8 @@ else instance TupleContaining b (a /\ b) where
extract = snd extract = snd
else instance TupleContaining b (a /\ b /\ c) where else instance TupleContaining b (a /\ b /\ c) where
extract (_ /\ b /\ _) = b extract (_ /\ b /\ _) = b
else instance TupleContaining c (a /\ b /\ c) where else instance TupleContaining c (a /\ b /\ c /\ Unit) where
extract (_ /\ _ /\ c) = c extract (_ /\ _ /\ c /\ _) = c
else instance TupleContaining b (a /\ b /\ Unit) where
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
extract (_ /\ tail) = extract tail extract (_ /\ tail) = extract tail