Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
could anyone explain this to me?
class TakeRow (r :: # Type) -- error -- instance takeRow :: TakeRow ( a :: Unit ) -- just fine instance takeRow :: (Union () ( a :: Unit ) r) => TakeRow r
I don't have anything else to add beyond what Jordan mentioned.
PS: You can use the hs tag for better syntax highlighting. Unfortunately no purs support yet.
hs
purs
You can use the hs tag for better syntax highlighting
ah, so that's how they do it
could anyone explain this to me?
I don't have anything else to add beyond what Jordan mentioned.
PS: You can use the
hs
tag for better syntax highlighting. Unfortunately nopurs
support yet.ah, so that's how they do it