Copyright	(C) 2018 Google Inc.
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Annotations.BitRepresentation.Internal

Description

Synopsis

buildCustomReprs :: [DataRepr'] -> CustomReprs
dataReprAnnToDataRepr' :: DataReprAnn -> DataRepr'
constrReprToConstrRepr' :: Int -> ConstrRepr -> ConstrRepr'
getConstrRepr :: Text -> CustomReprs -> Maybe ConstrRepr'
getDataRepr :: Type' -> CustomReprs -> Maybe DataRepr'
thTypeToType' :: Type -> Type'
data ConstrRepr' = ConstrRepr' Text Int BitMask Value [FieldAnn]
data DataRepr' = DataRepr' Type' Size [ConstrRepr']
data Type'
- = AppTy' Type' Type'
- | ConstTy' Text
- | LitTy' Integer
type CustomReprs = (Map Type' DataRepr', Map Text ConstrRepr')

Documentation

buildCustomReprs :: [DataRepr'] -> CustomReprs Source #

Create indices based on names of constructors and data types

dataReprAnnToDataRepr' :: DataReprAnn -> DataRepr' Source #

constrReprToConstrRepr' :: Int -> ConstrRepr -> ConstrRepr' Source #

getConstrRepr :: Text -> CustomReprs -> Maybe ConstrRepr' Source #

Lookup constructor representation based on name

getDataRepr :: Type' -> CustomReprs -> Maybe DataRepr' Source #

Lookup data type representation based on name

thTypeToType' :: Type -> Type' Source #

Convert template haskell type to simple representation of type

data ConstrRepr' Source #

Internal version of ConstrRepr

Constructors

ConstrRepr' Text Int BitMask Value [FieldAnn]

Instances

Instances details

Eq ConstrRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods (==) :: ConstrRepr' -> ConstrRepr' -> Bool # (/=) :: ConstrRepr' -> ConstrRepr' -> Bool #
Ord ConstrRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods compare :: ConstrRepr' -> ConstrRepr' -> Ordering # (<) :: ConstrRepr' -> ConstrRepr' -> Bool # (<=) :: ConstrRepr' -> ConstrRepr' -> Bool # (>) :: ConstrRepr' -> ConstrRepr' -> Bool # (>=) :: ConstrRepr' -> ConstrRepr' -> Bool # max :: ConstrRepr' -> ConstrRepr' -> ConstrRepr' # min :: ConstrRepr' -> ConstrRepr' -> ConstrRepr' #
Show ConstrRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods showsPrec :: Int -> ConstrRepr' -> ShowS # show :: ConstrRepr' -> String # showList :: [ConstrRepr'] -> ShowS #
Generic ConstrRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Associated Types type Rep ConstrRepr' :: Type -> Type # Methods from :: ConstrRepr' -> Rep ConstrRepr' x # to :: Rep ConstrRepr' x -> ConstrRepr' #
NFData ConstrRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods rnf :: ConstrRepr' -> () #
Hashable ConstrRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods hashWithSalt :: Int -> ConstrRepr' -> Int # hash :: ConstrRepr' -> Int #
type Rep ConstrRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal type Rep ConstrRepr' = D1 ('MetaData "ConstrRepr'" "Clash.Annotations.BitRepresentation.Internal" "clash-prelude-0.9999-inplace" 'False) (C1 ('MetaCons "ConstrRepr'" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BitMask) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldAnn])))))

data DataRepr' Source #

Internal version of DataRepr

Constructors

DataRepr' Type' Size [ConstrRepr']

Instances

Instances details

Eq DataRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods (==) :: DataRepr' -> DataRepr' -> Bool # (/=) :: DataRepr' -> DataRepr' -> Bool #
Ord DataRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods compare :: DataRepr' -> DataRepr' -> Ordering # (<) :: DataRepr' -> DataRepr' -> Bool # (<=) :: DataRepr' -> DataRepr' -> Bool # (>) :: DataRepr' -> DataRepr' -> Bool # (>=) :: DataRepr' -> DataRepr' -> Bool # max :: DataRepr' -> DataRepr' -> DataRepr' # min :: DataRepr' -> DataRepr' -> DataRepr' #
Show DataRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods showsPrec :: Int -> DataRepr' -> ShowS # show :: DataRepr' -> String # showList :: [DataRepr'] -> ShowS #
Generic DataRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Associated Types type Rep DataRepr' :: Type -> Type # Methods from :: DataRepr' -> Rep DataRepr' x # to :: Rep DataRepr' x -> DataRepr' #
NFData DataRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods rnf :: DataRepr' -> () #
Hashable DataRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods hashWithSalt :: Int -> DataRepr' -> Int # hash :: DataRepr' -> Int #
type Rep DataRepr' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal type Rep DataRepr' = D1 ('MetaData "DataRepr'" "Clash.Annotations.BitRepresentation.Internal" "clash-prelude-0.9999-inplace" 'False) (C1 ('MetaCons "DataRepr'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type') :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Size) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ConstrRepr']))))

data Type' Source #

Simple version of template haskell type. Used internally to match on.

Constructors

AppTy' Type' Type'	Type application
ConstTy' Text	Qualified name of type
LitTy' Integer	Numeral literal (used in BitVector 10, for example)

Instances

Instances details

Eq Type' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods (==) :: Type' -> Type' -> Bool # (/=) :: Type' -> Type' -> Bool #
Ord Type' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods compare :: Type' -> Type' -> Ordering # (<) :: Type' -> Type' -> Bool # (<=) :: Type' -> Type' -> Bool # (>) :: Type' -> Type' -> Bool # (>=) :: Type' -> Type' -> Bool # max :: Type' -> Type' -> Type' # min :: Type' -> Type' -> Type' #
Show Type' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods showsPrec :: Int -> Type' -> ShowS # show :: Type' -> String # showList :: [Type'] -> ShowS #
Generic Type' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Associated Types type Rep Type' :: Type -> Type # Methods from :: Type' -> Rep Type' x # to :: Rep Type' x -> Type' #
NFData Type' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods rnf :: Type' -> () #
Hashable Type' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal Methods hashWithSalt :: Int -> Type' -> Int # hash :: Type' -> Int #
type Rep Type' Source #
Instance details Defined in Clash.Annotations.BitRepresentation.Internal type Rep Type' = D1 ('MetaData "Type'" "Clash.Annotations.BitRepresentation.Internal" "clash-prelude-0.9999-inplace" 'False) (C1 ('MetaCons "AppTy'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type') :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type')) :+: (C1 ('MetaCons "ConstTy'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "LitTy'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

type CustomReprs = (Map Type' DataRepr', Map Text ConstrRepr') Source #

Convenience type for index built by buildCustomReprs