From da7cc7e14c0b45a5fd4b312cab04ad6926b83b59 Mon Sep 17 00:00:00 2001 From: Ben Orchard Date: Mon, 29 Sep 2025 14:19:45 +0100 Subject: [PATCH] Wrap example ADT fields in Column --- src/Rel8.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Rel8.hs b/src/Rel8.hs index 061f80d1..56cb1d29 100644 --- a/src/Rel8.hs +++ b/src/Rel8.hs @@ -534,11 +534,11 @@ import Rel8.Window -- data Thing f = ThingEmployer (Employer f) | ThingPotato (Potato f) | Nullary -- deriving stock Generic -- --- data Employer f = Employer { employerId :: f Int32, employerName :: f Text} +-- data Employer f = Employer { employerId :: Column f Int32, employerName :: Column f Text} -- deriving stock Generic -- deriving anyclass Rel8able -- --- data Potato f = Potato { size :: f Int32, grower :: f Text } +-- data Potato f = Potato { size :: Column f Int32, grower :: Column f Text } -- deriving stock Generic -- deriving anyclass Rel8able -- @