Closed srghma closed 3 years ago
:+1: agree, I have thought too that this function should replace prismaticCodec
)
updated
@garyb added update to purs 0.14
sd 'Data.Generic.Rep.Show' 'Data.Show.Generic' $(fd --no-ignore --hidden --type f .purs .)
sd 'Data.Generic.Rep.Eq' 'Data.Eq.Generic' $(fd --no-ignore --hidden --type f .purs .)
sd 'Data.Generic.Rep.Ord' 'Data.Ord.Generic' $(fd --no-ignore --hidden --type f .purs .)
sd 'Data.Argonaut.Decode.Generic.Rep' 'Data.Argonaut.Decode.Generic' $(fd --no-ignore --hidden --type f .purs .)
sd 'Data.Argonaut.Encode.Generic.Rep' 'Data.Argonaut.Encode.Generic' $(fd --no-ignore --hidden --type f .purs .)
sd 'Data.Char.Unicode' 'Data.String.Unicode' $(fd --no-ignore --hidden --type f .purs .)
sd 'Data.Bifunctor.Wrap' 'Data.Functor.Wrap' $(fd --no-ignore --hidden --type f .purs .)
sd '\# Type' 'Row Type' $(fd --no-ignore --hidden --type f .purs .)
sd 'RowList\) ' 'RowList Type) ' $(fd --no-ignore --hidden --type f .purs .)
sd ', kind ([A-Z])' ', $1' $(fd --no-ignore --hidden --type f .purs .)
sd '\( kind ([A-Z])' '( $1' $(fd --no-ignore --hidden --type f .purs .)
@srghma This needs some work:
pulp
to ^15.0.0, purescript
to ^0.14.0, and psa
to ^0.8.2If you don't have time at the moment I can take care of this tomorrow. Just let me know!
I've added a migration to PureScript 0.14 here: https://github.com/garyb/purescript-codec-argonaut/pull/35
It doesn't include the prismaticCodec
function, so it doesn't close this PR.
tnx everyone! sorry didnt fix in time) trying to not touch computer)
No problem! Thanks for getting it started!
I like it - I think I should have done it this way in the first place, and probably only have the named version.
I'll fix the build and merge this later on today.