hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Module

Description

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

Synopsis

Documentation

data Module m Source #

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

Constructors

Module 

Fields

Instances

Instances details
(Read m, Ord m) => Read (Module m) Source # 
Instance details

Defined in Hydra.Module

Show m => Show (Module m) Source # 
Instance details

Defined in Hydra.Module

Methods

showsPrec :: Int -> Module m -> ShowS #

show :: Module m -> String #

showList :: [Module m] -> ShowS #

Eq m => Eq (Module m) Source # 
Instance details

Defined in Hydra.Module

Methods

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

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

Ord m => Ord (Module m) Source # 
Instance details

Defined in Hydra.Module

Methods

compare :: Module m -> Module m -> Ordering #

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

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

(>) :: Module m -> Module m -> Bool #

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

max :: Module m -> Module m -> Module m #

min :: Module m -> Module m -> Module m #

newtype Namespace Source #

A prefix for element names

Constructors

Namespace 

Fields

Instances

Instances details
Read Namespace Source # 
Instance details

Defined in Hydra.Module

Show Namespace Source # 
Instance details

Defined in Hydra.Module

Eq Namespace Source # 
Instance details

Defined in Hydra.Module

Ord Namespace Source # 
Instance details

Defined in Hydra.Module