dynamic-loader-0.0: lightweight loader of GHC-based modules or packages

Safe HaskellNone

System.Plugins.Criteria.LoadCriterion

Documentation

class LoadCriterion c t whereSource

Associated Types

data Criterion c t Source

type Effective c t :: *Source

Instances

LoadCriterion () t 
LoadCriterion (Typeable t) t

When the symbol's type is Typeable we load from the suffixed symbol and | try to resolve it.

LoadCriterion (Typeable t, MonadIO m) t

When the symbol's type is Typeable and we are in a monad that can | reliably fail, we load from the suffixed symbol and try to resolve it, | failing when the type does not correspond with the expectation.