[Haskell-cafe] partially applied data constructor and corresponding type
paratribulations at free.fr
Sat Apr 27 21:33:17 CEST 2013
I ask myself if there is a way to do the following.
Imagine that I have a dummy type:
data Tensor = TensorVar Int String
where the integer is the order, and the string is the name of the tensor.
I would like to make with the constructor TensorVar a type "Vector", such
that, in "pseudo-language":
data Vector = TensorVar 1 String
Because a vector is a tensor of order 1.
Is this possible? I have tried type synonyms and newtypes without any success.
Thanks a lot,
More information about the Haskell-Cafe