Make the compiler happy (remove useless imports).

This commit is contained in:
Philippe Pittoli 2023-07-08 17:05:34 +02:00
parent 367e914fc7
commit 572dfc88a4

View File

@ -1,13 +1,10 @@
module App.UserPublic where module App.UserPublic where
import Prelude import Data.Maybe (Maybe)
import Data.Maybe
import Data.Codec.Argonaut (JsonCodec) import Data.Codec.Argonaut (JsonCodec)
import Data.Codec.Argonaut as CA import Data.Codec.Argonaut as CA
import Data.Codec.Argonaut.Record as CAR import Data.Codec.Argonaut.Record as CAR
import Data.Newtype (class Newtype)
-- | Currently not the real type. -- | Currently not the real type.
-- | Lacks 'profile' attribute. -- | Lacks 'profile' attribute.