Domande taggate «coerce»

1
Digita ruoli e comportamento confuso con `coerce`
Ho un tipo Id ae sto cercando di prevenire la coercizione accidentale, ad esempio, da an Id Doublea an Id Int. Se capisco correttamente i ruoli di tipo, non dovrebbe essere compilato quanto segue. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id …
11 haskell  roles  coerce 
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.