Err package:clash-lib

Err :: !Maybe Int -> Element
clash-lib Clash.Netlist.BlackBox.Types
Error value hole
hdlTypeErrValue :: Backend state => HWType -> Ap (State state) Doc
clash-lib Clash.Backend
Convert a Netlist HWType to an HDL error value for that type
multPrimErr :: PrimInfo -> String
clash-lib Clash.Core.TermInfo
termToDataError :: forall a . TermLiteral a => Term -> Either String a
clash-lib Clash.Core.TermLiteral
Same as termToData, but returns printable error message if it couldn't translate a term.
newtype HintError
clash-lib Clash.Driver
HintError :: String -> HintError
clash-lib Clash.Driver
processHintErrors :: (MonadThrow m, Monad m) => String -> Text -> Either (NonEmpty InterpreterError) t -> m t
clash-lib Clash.Driver
data OverridingBool
clash-lib Clash.Driver.Bool
fromGhcOverridingBool :: OverridingBool -> OverridingBool
clash-lib Clash.Driver.Bool
toGhcOverridingBool :: OverridingBool -> OverridingBool
clash-lib Clash.Driver.Bool
opt_errorExtra :: ClashOpts -> Bool
clash-lib Clash.Driver.Types
Show additional information in error messages
opt_werror :: ClashOpts -> Bool
clash-lib Clash.Driver.Types
Are warnings treated as errors. Command line flag: -Werror
AttrError :: [Attr Text] -> ExpandError
clash-lib Clash.Netlist.Util
Synthesis attributes are not supported on PortProducts
data ExpandError
clash-lib Clash.Netlist.Util
Errors expandTopEntity might yield
PortProductError :: PortName -> HWType -> ExpandError
clash-lib Clash.Netlist.Util
Something was annotated as being a PortProduct, but wasn't one
expandTopEntityOrErrM :: HasCallStack => [(Maybe Id, FilteredHWType)] -> (Maybe Id, FilteredHWType) -> Maybe TopEntity -> NetlistMonad (ExpandedTopEntity Identifier)
clash-lib Clash.Netlist.Util
Same as expandTopEntity, but also adds identifiers to the identifier set of the monad.
portProductError :: String -> HWType -> ExpandedPortName Identifier -> a
clash-lib Clash.Netlist.Util
throwAnnotatedSplitError :: String -> String -> NetlistMonad a
clash-lib Clash.Netlist.Util
Consider the following type signature: 
f :: Signal dom (Vec 6 A) `Annotate` Attr "keep"
-> Signal dom (Vec 6 B)
What does the annotation mean, considering that Clash will split these vectors into multiple in- and output ports? Should we apply the annotation to all individual ports? How would we handle pin mappings? For now, we simply throw an error. This is a helper function to do so.
unexpectedProjectionErrorMsg :: DataRepr' -> Int -> Int -> String
clash-lib Clash.Netlist.Util
Constructs error message for unexpected projections out of a type annotated with a custom bit representation.
clashCompileErrorBBF :: HasCallStack => BlackBoxFunction
clash-lib Clash.Primitives.Magic
decodeOrErrJson :: (HasCallStack, FromJSON a) => FilePath -> ByteString -> a
clash-lib Clash.Primitives.Util
Parse a ByteString according to the given JSON template. Throws exception if it fails.
decodeOrErrYaml :: (HasCallStack, FromJSON a) => FilePath -> ByteString -> a
clash-lib Clash.Primitives.Util
Parse a ByteString according to the given JSON template. Throws exception if it fails.