From 07657e21dee5ab6d4a2748382a98c7f4e2c6e796 Mon Sep 17 00:00:00 2001 From: "Daneel S. Yaitskov" Date: Wed, 23 Aug 2023 15:18:42 -0400 Subject: [PATCH] Update README.md Rename Taggable to Tagged --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 75fab06..11247dc 100644 --- a/README.md +++ b/README.md @@ -49,7 +49,7 @@ For example - ```purescript data Person = Person {name::String, age::Int} -instance Taggable Person where tag = makeTag unit +instance Tagged Person where tag = makeTag unit ``` This is valid even for data types that take parameters. For example - @@ -57,7 +57,7 @@ This is valid even for data types that take parameters. For example - ```purescript data Optional a = Some a | None -instance Taggable Optional where tag = makeTag unit +instance Tagged Optional where tag = makeTag unit ``` **Don't worry about getting it wrong since the type system will prevent you from writing an invalid instance.**