From 3e39f60c1f0d7850eabcd9c8170f1b52d614cb7a Mon Sep 17 00:00:00 2001 From: Cyril Sobierajewicz Date: Sat, 18 Jul 2020 19:32:55 +0200 Subject: [PATCH] Add roles declarations to allow safe coercions --- src/Data/Lazy.purs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Data/Lazy.purs b/src/Data/Lazy.purs index cdc4b4b..2fa336b 100644 --- a/src/Data/Lazy.purs +++ b/src/Data/Lazy.purs @@ -29,6 +29,8 @@ import Data.TraversableWithIndex (class TraversableWithIndex) -- | `Lazy` values can be evaluated by using the `force` function. foreign import data Lazy :: Type -> Type +type role Lazy representational + -- | Defer a computation, creating a `Lazy` value. foreign import defer :: forall a. (Unit -> a) -> Lazy a