Require.Types

Documentation

newtype ModuleName

A type-safe wrapper around a fully qualified module name.

Constructors

ModuleName

Fields

• unModuleName :: Text

Instances

Eq ModuleName

Defined in Require.Types

Methods

(==) :: ModuleName -> ModuleName -> Bool

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

Show ModuleName

Defined in Require.Types

Methods

showsPrec :: Int -> ModuleName -> ShowS

show :: ModuleName -> String

showList :: [ModuleName] -> ShowS

data RequireDirective

Describes the different directives which require special processing during the transformation step.

Constructors

ModuleDirective ModuleName

RequireDirective RequireInfo

AutorequireDirective

data RequireInfo

Describes the contents of a parsed require directive.

require riFullModuleName as riModuleAlias (riImportedTypes)

Constructors

RequireInfo

Fields

• riFullModuleName :: !ModuleName
• riModuleAlias :: !Text
• riImportedTypes :: !Text

Instances

Show RequireInfo

Defined in Require.Types

Methods

showsPrec :: Int -> RequireInfo -> ShowS

show :: RequireInfo -> String

showList :: [RequireInfo] -> ShowS

data AutorequireMode a

Constructors

AutorequireEnabled a

Include the contents of the Requires file directly after the module … where directive.

AutorequireOnDirective (Maybe a)

Include the contents of the Requires file when the user specifies the autorequire directive.

AutorequireDisabled

Don't do any auto-requiring.

Instances

Functor AutorequireMode

Defined in Require.Types

Methods

fmap :: (a -> b) -> AutorequireMode a -> AutorequireMode b

(<$) :: a -> AutorequireMode b -> AutorequireMode a

Foldable AutorequireMode

Defined in Require.Types

Methods

fold :: Monoid m => AutorequireMode m -> m

foldMap :: Monoid m => (a -> m) -> AutorequireMode a -> m

foldMap' :: Monoid m => (a -> m) -> AutorequireMode a -> m

foldr :: (a -> b -> b) -> b -> AutorequireMode a -> b

foldr' :: (a -> b -> b) -> b -> AutorequireMode a -> b

foldl :: (b -> a -> b) -> b -> AutorequireMode a -> b

foldl' :: (b -> a -> b) -> b -> AutorequireMode a -> b

foldr1 :: (a -> a -> a) -> AutorequireMode a -> a

foldl1 :: (a -> a -> a) -> AutorequireMode a -> a

toList :: AutorequireMode a -> [a]

null :: AutorequireMode a -> Bool

length :: AutorequireMode a -> Int

elem :: Eq a => a -> AutorequireMode a -> Bool

maximum :: Ord a => AutorequireMode a -> a

minimum :: Ord a => AutorequireMode a -> a

sum :: Num a => AutorequireMode a -> a

product :: Num a => AutorequireMode a -> a

Traversable AutorequireMode

Defined in Require.Types

Methods

traverse :: Applicative f => (a -> f b) -> AutorequireMode a -> f (AutorequireMode b)

sequenceA :: Applicative f => AutorequireMode (f a) -> f (AutorequireMode a)

mapM :: Monad m => (a -> m b) -> AutorequireMode a -> m (AutorequireMode b)

sequence :: Monad m => AutorequireMode (m a) -> m (AutorequireMode a)