Hydra.Module

A model for Hydra namespaces and modules (collections of elements in the same namespace)

Documentation

newtype FileExtension

Constructors

FileExtension

Fields

• unFileExtension :: String

Instances

Read FileExtension

Defined in Hydra.Module

Methods

readsPrec :: Int -> ReadS FileExtension

readList :: ReadS [FileExtension]

readPrec :: ReadPrec FileExtension

readListPrec :: ReadPrec [FileExtension]

Show FileExtension

Defined in Hydra.Module

Methods

showsPrec :: Int -> FileExtension -> ShowS

show :: FileExtension -> String

showList :: [FileExtension] -> ShowS

Eq FileExtension

Defined in Hydra.Module

Methods

(==) :: FileExtension -> FileExtension -> Bool

(/=) :: FileExtension -> FileExtension -> Bool

Ord FileExtension

Defined in Hydra.Module

Methods

compare :: FileExtension -> FileExtension -> Ordering

(<) :: FileExtension -> FileExtension -> Bool

(<=) :: FileExtension -> FileExtension -> Bool

(>) :: FileExtension -> FileExtension -> Bool

(>=) :: FileExtension -> FileExtension -> Bool

max :: FileExtension -> FileExtension -> FileExtension

min :: FileExtension -> FileExtension -> FileExtension

_FileExtension :: Name

data Module

A logical collection of elements in the same namespace, having dependencies on zero or more other modules

Constructors

Module

Fields

• moduleNamespace :: Namespace

  A common prefix for all element names in the module

• moduleElements :: [Element]

  The elements defined in this module

• moduleTermDependencies :: [Module]

  Any modules which the term expressions of this module directly depend upon

• moduleTypeDependencies :: [Module]

  Any modules which the type expressions of this module directly depend upon

• moduleDescription :: Maybe String

  An optional human-readable description of the module

Instances

Read Module

Defined in Hydra.Module

Methods

readsPrec :: Int -> ReadS Module

readList :: ReadS [Module]

readPrec :: ReadPrec Module

readListPrec :: ReadPrec [Module]

Show Module

Defined in Hydra.Module

Methods

showsPrec :: Int -> Module -> ShowS

show :: Module -> String

showList :: [Module] -> ShowS

Eq Module

Defined in Hydra.Module

Methods

(==) :: Module -> Module -> Bool

(/=) :: Module -> Module -> Bool

Ord Module

Defined in Hydra.Module

Methods

compare :: Module -> Module -> Ordering

(<) :: Module -> Module -> Bool

(<=) :: Module -> Module -> Bool

(>) :: Module -> Module -> Bool

(>=) :: Module -> Module -> Bool

max :: Module -> Module -> Module

min :: Module -> Module -> Module

_Module :: Name

_Module_namespace :: Name

_Module_elements :: Name

_Module_termDependencies :: Name

_Module_typeDependencies :: Name

_Module_description :: Name

newtype Namespace

A prefix for element names

Constructors

Namespace

Fields

• unNamespace :: String

Instances

Read Namespace

Defined in Hydra.Module

Methods

readsPrec :: Int -> ReadS Namespace

readList :: ReadS [Namespace]

readPrec :: ReadPrec Namespace

readListPrec :: ReadPrec [Namespace]

Show Namespace

Defined in Hydra.Module

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

Eq Namespace

Defined in Hydra.Module

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Ord Namespace

Defined in Hydra.Module

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

(<=) :: Namespace -> Namespace -> Bool

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

_Namespace :: Name

data QualifiedName

A qualified name consisting of an optional namespace together with a mandatory local name

Constructors

QualifiedName

Fields

• qualifiedNameNamespace :: Maybe Namespace
• qualifiedNameLocal :: String

Instances

Read QualifiedName

Defined in Hydra.Module

Methods

readsPrec :: Int -> ReadS QualifiedName

readList :: ReadS [QualifiedName]

readPrec :: ReadPrec QualifiedName

readListPrec :: ReadPrec [QualifiedName]

Show QualifiedName

Defined in Hydra.Module

Methods

showsPrec :: Int -> QualifiedName -> ShowS

show :: QualifiedName -> String

showList :: [QualifiedName] -> ShowS

Eq QualifiedName

Defined in Hydra.Module

Methods

(==) :: QualifiedName -> QualifiedName -> Bool

(/=) :: QualifiedName -> QualifiedName -> Bool

Ord QualifiedName

Defined in Hydra.Module

Methods

compare :: QualifiedName -> QualifiedName -> Ordering

(<) :: QualifiedName -> QualifiedName -> Bool

(<=) :: QualifiedName -> QualifiedName -> Bool

(>) :: QualifiedName -> QualifiedName -> Bool

(>=) :: QualifiedName -> QualifiedName -> Bool

max :: QualifiedName -> QualifiedName -> QualifiedName

min :: QualifiedName -> QualifiedName -> QualifiedName

_QualifiedName :: Name

_QualifiedName_namespace :: Name

_QualifiedName_local :: Name