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

fix: tuplecontaining instance (i think)

Browse Source
This commit is contained in:
orion 2023-11-18 17:33:29 -06:00
parent 25143dd840
commit 8c40a57d99
Signed by: orion
GPG Key ID: 6D4165AE4C928719
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/HTTP/Request.purs
View File

@ -25,7 +25,7 @@ import Data.Map as Map
import Data.Maybe (Maybe(..)) import Data.Maybe (Maybe(..))
import Data.Newtype (unwrap) import Data.Newtype (unwrap)
import Data.Tuple (Tuple, fst, snd) import Data.Tuple (Tuple, fst, snd)
import Data.Tuple.Nested ((/\)) import Data.Tuple.Nested (type (/\), (/\))
import Effect (Effect) import Effect (Effect)
import Effect.Aff.Class (class MonadAff, liftAff) import Effect.Aff.Class (class MonadAff, liftAff)
import Effect.Class (class MonadEffect, liftEffect) import Effect.Class (class MonadEffect, liftEffect)
@ -110,10 +110,12 @@ class TupleContaining a tup where
instance TupleContaining a a where instance TupleContaining a a where
extract = identity extract = identity
else instance TupleContaining a (Tuple a b) where else instance TupleContaining a (a /\ b) where
extract = fst extract = fst
else instance TupleContaining b (Tuple a b) where else instance TupleContaining b (a /\ b) where
extract = snd extract = snd
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