Functor Foldable Traversable instances for Annotation

This commit is contained in:
Ellie Hermaszewska 2023-05-16 13:13:48 +08:00
parent 717e47c953
commit 0a5ea41207
No known key found for this signature in database

View File

@ -1,4 +1,6 @@
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveTraversable #-}
-- |
-- Module : Error.Diagnose.Style
@ -71,7 +73,7 @@ data Annotation a
CodeStyle
| -- | Something else, could be provided by the user
OtherStyle a
deriving (Functor)
deriving (Functor, Foldable, Traversable)
-- | A style is a function which can be applied using 'reAnnotate'.
--