vegowotenks/scalie
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

doc[core]: remove old read/show examples

Browse source
This commit is contained in:
vegowotenks 2025-08-15 13:07:56 +02:00
parent ca8d84fe5f
commit 6a28e97987
1 changed files with 0 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

16
src/Language/Scalie/Core/Module.hs
View file

@ -16,22 +16,6 @@ import Language.Scalie.Core.Definition (Definition)
import safe Language.Scalie.Core.AlgebraicDatatype ( AlgebraicDatatype ) import safe Language.Scalie.Core.AlgebraicDatatype ( AlgebraicDatatype )
-- | A module groups multiple related variable definitions. -- | A module groups multiple related variable definitions.
--
-- >>> import Data.Functor.Identity (Identity(..))
-- >>> import Data.Map.Implicit qualified as ImplicitMap
-- >>> Module (Identity ImplicitMap.empty)
-- Module {definitions = Identity ImplicitMapElems []}
--
-- >>> import Data.Maybe (Maybe(..))
-- >>> Module Nothing
-- Module {definitions = Nothing}
--
-- >>> import Text.Read (readMaybe)
-- >>> readMaybe "Module { definitions = Just (ImplicitMapElems []) }" :: Maybe (Module Maybe)
-- Just (Module {definitions = Just ImplicitMapElems []})
--
-- >>> readMaybe "Module { definitions = Just (ImplicitMapElems [Definition { signature = Nothing, name = Just \"x\", body = Nothing } ]) }" :: Maybe (Module Maybe)
-- Just (Module {definitions = Just ImplicitMapElems [Definition {signature = Nothing, name = Just "x", body = Nothing}]})
type Module :: (Type -> Type) -> Type type Module :: (Type -> Type) -> Type
type role Module nominal type role Module nominal