clash-prelude-0.9999: CAES Language for Synchronous Hardware - Prelude library
Copyright(C) 2018 Google Inc.
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010

Clash.Annotations.BitRepresentation

Description

Using ANN pragma's you can tell the Clash compiler to use a custom bit representation for a data type. See DataReprAnn for documentation.

Synopsis

Data structures to express a custom bit representation

data DataReprAnn Source #

Annotation for custom bit representations of data types

Using ANN pragma's you can tell the Clash compiler to use a custom bit-representation for a data type.

For example:

data Color = R | G | B
{-# ANN module (DataReprAnn
                  $(liftQ [t|Color|])
                  2
                  [ ConstrRepr 'R 0b11 0b00 []
                  , ConstrRepr 'G 0b11 0b01 []
                  , ConstrRepr 'B 0b11 0b10 []
                  ]) #-}

This specifies that R should be encoded as 0b00, G as 0b01, and B as 0b10. The first binary value in every ConstrRepr in this example is a mask, indicating which bits in the data type are relevant. In this case all of the bits are.

Or if we want to annotate Maybe Color:

{-# ANN module ( DataReprAnn
                   $(liftQ [t|Maybe Color|])
                   2
                   [ ConstrRepr 'Nothing 0b11 0b11 []
                   , ConstrRepr 'Just 0b00 0b00 [0b11]
                   ] ) #-}

By default, Maybe Color is a data type which consumes 3 bits. A single bit to indicate the constructor (either Just or Nothing), and two bits to encode the first field of Just. Notice that we saved a single bit by exploiting the fact that Color only uses three values (0, 1, 2), but takes two bits to encode it. We can therefore use the last - unused - value (3), to encode one of the constructors of Maybe. We indicate which bits encode the underlying Color field of Just by passing [0b11] to ConstrRepr. This indicates that the first field is encoded in the first and second bit of the whole datatype (0b11).

Instances

Instances details
Eq DataReprAnn Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Data DataReprAnn Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Methods

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

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

toConstr :: DataReprAnn -> Constr #

dataTypeOf :: DataReprAnn -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataReprAnn) #

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

gmapT :: (forall b. Data b => b -> b) -> DataReprAnn -> DataReprAnn #

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

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

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

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

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

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

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

Show DataReprAnn Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Generic DataReprAnn Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Associated Types

type Rep DataReprAnn :: Type -> Type #

Lift DataReprAnn Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Methods

lift :: DataReprAnn -> Q Exp #

type Rep DataReprAnn Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

data ConstrRepr Source #

Annotation for constructors. Indicates how to match this constructor based off of the whole datatype.

Instances

Instances details
Eq ConstrRepr Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Data ConstrRepr Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Methods

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

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

toConstr :: ConstrRepr -> Constr #

dataTypeOf :: ConstrRepr -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ConstrRepr) #

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

gmapT :: (forall b. Data b => b -> b) -> ConstrRepr -> ConstrRepr #

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

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

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

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

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

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

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

Show ConstrRepr Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Generic ConstrRepr Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Associated Types

type Rep ConstrRepr :: Type -> Type #

Lift ConstrRepr Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Methods

lift :: ConstrRepr -> Q Exp #

type Rep ConstrRepr Source # 
Instance details

Defined in Clash.Annotations.BitRepresentation

Convenience type synonyms for Integer

type Size = Int Source #

Functions

liftQ :: Lift a => Q a -> Q Exp Source #

Lift values inside of Q to a Template Haskell expression