re: purescript question
@AgathaSorceress ...I was sure there was such a thing but apparently not
you could probably write such a thing yourself using instance chains
class MyShow a where
myShow :: a -> String
instance stringShow :: MyShow String where
myShow = identity
else instance otherShow :: Show a => MyShow a
myShow = show
re: purescript question
@lambdagrrl hmm ill try that thank you!!
re: purescript question
@AgathaSorceress oh, yeah, if it doesn't know statically that the type is a string then it will call the more generic version
re: purescript question
@AgathaSorceress what's the type of the function you're calling it from?
re: purescript question
@lambdagrrl
forall a. Show a => Int -> String -> Array a -> Array String
re: purescript question
@AgathaSorceress ah yeah, try changing the class constraint from Show to MyShow?
re: purescript question
@lambdagrrl right
i,, forgot about that
it works now, thank you!
re: purescript question
@AgathaSorceress np! happy to help
re: purescript question
@lambdagrrl riiiight,,, im not sure what to do about this