System.Plugins.Criteria.LoadCriterion

Documentation

class LoadCriterion c t where

Minimal complete definition

loadQualified

Associated Types

data Criterion c t

type Effective c t :: *

Methods

addDynamicLibrary :: Criterion c t -> String -> IO ()

resolveSymbols :: Criterion c t -> IO ()

loadQualified :: c => Criterion c t -> String -> Effective c t

Instances

LoadCriterion (Typeable * t) t

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

Associated Types

data Criterion (Typeable * t :: Constraint) t :: *

type Effective (Typeable * t :: Constraint) t :: *

Methods

addDynamicLibrary :: Criterion (Typeable * t) t -> String -> IO ()

resolveSymbols :: Criterion (Typeable * t) t -> IO ()

loadQualified :: Criterion (Typeable * t) t -> String -> Effective (Typeable * t) t

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.

Associated Types

data Criterion ((Typeable * t, MonadIO m) :: Constraint) t :: *

type Effective ((Typeable * t, MonadIO m) :: Constraint) t :: *

Methods

addDynamicLibrary :: Criterion (Typeable * t, MonadIO m) t -> String -> IO ()

resolveSymbols :: Criterion (Typeable * t, MonadIO m) t -> IO ()

loadQualified :: Criterion (Typeable * t, MonadIO m) t -> String -> Effective (Typeable * t, MonadIO m) t