CLaSH.Driver.Types

Type definitions used by the Driver module

Documentation

type BindingMap = HashMap TmName (Type, SrcSpan, Term)

Global function binders

data CLaSHOpts

Constructors

CLaSHOpts

Fields

• opt_inlineLimit :: Int
• opt_specLimit :: Int
• opt_inlineBelow :: Int
• opt_dbgLevel :: DebugLevel
• opt_cleanhdl :: Bool
• opt_intWidth :: Int
• opt_hdlDir :: Maybe String
• opt_hdlSyn :: HdlSyn
• opt_errorExtra :: Bool

data CLaSHException

Constructors

CLaSHException SrcSpan String (Maybe String)

Instances

Show CLaSHException

Methods

showsPrec :: Int -> CLaSHException -> ShowS

show :: CLaSHException -> String

showList :: [CLaSHException] -> ShowS

Exception CLaSHException

Methods

toException :: CLaSHException -> SomeException

fromException :: SomeException -> Maybe CLaSHException

displayException :: CLaSHException -> String

data SrcSpan :: *

A SrcSpan identifies either a specific portion of a text file or a human-readable description of a location.

Instances

Eq SrcSpan

Methods

(==) :: SrcSpan -> SrcSpan -> Bool

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

Data SrcSpan

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SrcSpan -> c SrcSpan

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SrcSpan

toConstr :: SrcSpan -> Constr

dataTypeOf :: SrcSpan -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SrcSpan)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SrcSpan)

gmapT :: (forall b. Data b => b -> b) -> SrcSpan -> SrcSpan

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SrcSpan -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SrcSpan -> r

gmapQ :: (forall d. Data d => d -> u) -> SrcSpan -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SrcSpan -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SrcSpan -> m SrcSpan

Ord SrcSpan

Methods

compare :: SrcSpan -> SrcSpan -> Ordering

(<) :: SrcSpan -> SrcSpan -> Bool

(<=) :: SrcSpan -> SrcSpan -> Bool

(>) :: SrcSpan -> SrcSpan -> Bool

(>=) :: SrcSpan -> SrcSpan -> Bool

max :: SrcSpan -> SrcSpan -> SrcSpan

min :: SrcSpan -> SrcSpan -> SrcSpan

Show SrcSpan

Methods

showsPrec :: Int -> SrcSpan -> ShowS

show :: SrcSpan -> String

showList :: [SrcSpan] -> ShowS

Outputable SrcSpan

Methods

ppr :: SrcSpan -> SDoc

pprPrec :: Rational -> SrcSpan -> SDoc

noSrcSpan :: SrcSpan

Built-in "bad" SrcSpans for common sources of location uncertainty