Imp.Type.Source

Documentation

data Source

Constructors

Implicit

Explicit ModuleName

Instances

Show Source

Defined in Imp.Type.Source

Methods

showsPrec :: Int -> Source -> ShowS

show :: Source -> String

showList :: [Source] -> ShowS

Eq Source

Defined in Imp.Type.Source

Methods

(==) :: Source -> Source -> Bool

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

fromModuleName :: ModuleName -> Source

fromString :: MonadThrow m => String -> m Source

isImplicit :: Source -> Bool