From e7fecc01ede8d30648932daa21aad8a0953457c9 Mon Sep 17 00:00:00 2001 From: Orion Kindel Date: Sat, 18 Nov 2023 17:46:41 -0600 Subject: [PATCH] fix: more tuplecontaining fixes --- src/Data.Tuple.Containing.purs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/Data.Tuple.Containing.purs b/src/Data.Tuple.Containing.purs index 8656926..fcfcc8f 100644 --- a/src/Data.Tuple.Containing.purs +++ b/src/Data.Tuple.Containing.purs @@ -17,6 +17,10 @@ else instance TupleContaining a (a /\ b) where extract = fst else instance TupleContaining b (a /\ b) where 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 extract (_ /\ b /\ _) = b else instance TupleContaining a tail => TupleContaining a (Tuple head tail) where