2 Oct
2018
2 Oct
'18
12:56 p.m.
Hello Frederic, On Tue, Oct 02, 2018 at 04:48:09PM +0000, PICCA Frederic-Emmanuel wrote:
So I would like a function which allow to return a A Hdf5 or a A Cbf depending on the String content.
check :: A Unchecked -> A ??? check = ???
Is it possible to do this ?
I believe you can do this with GADTs [1] [1] https://en.wikibooks.org/wiki/Haskell/GADT