Copyright	(C) 2012-2016 University of Twente 2016 Myrtle Software Ltd 2017 Google Inc.
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Core.Literal

Description

Term Literal

Synopsis

data Literal
- = IntegerLiteral !Integer
- | IntLiteral !Integer
- | WordLiteral !Integer
- | Int64Literal !Integer
- | Word64Literal !Integer
- | StringLiteral !String
- | FloatLiteral !Rational
- | DoubleLiteral !Rational
- | CharLiteral !Char
- | NaturalLiteral !Integer
- | ByteArrayLiteral !(Vector Word8)
literalType :: Literal -> Type

Documentation

data Literal Source #

Term Literal

Instances

Instances details

Eq Literal Source #
Instance details Defined in Clash.Core.Literal Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal Source #
Instance details Defined in Clash.Core.Literal Methods compare :: Literal -> Literal -> Ordering # (<) :: Literal -> Literal -> Bool # (<=) :: Literal -> Literal -> Bool # (>) :: Literal -> Literal -> Bool # (>=) :: Literal -> Literal -> Bool # max :: Literal -> Literal -> Literal # min :: Literal -> Literal -> Literal #
Show Literal Source #
Instance details Defined in Clash.Core.Literal Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Generic Literal Source #
Instance details Defined in Clash.Core.Literal Associated Types type Rep Literal :: Type -> Type # Methods from :: Literal -> Rep Literal x # to :: Rep Literal x -> Literal #
Hashable Literal Source #
Instance details Defined in Clash.Core.Literal Methods hashWithSalt :: Int -> Literal -> Int # hash :: Literal -> Int #
Binary Literal Source #
Instance details Defined in Clash.Core.Literal Methods put :: Literal -> Put # get :: Get Literal # putList :: [Literal] -> Put #
NFData Literal Source #
Instance details Defined in Clash.Core.Literal Methods rnf :: Literal -> () #
PrettyPrec Literal Source #
Instance details Defined in Clash.Core.Pretty Methods pprPrec :: Monad m => Rational -> Literal -> m ClashDoc Source # pprPrec' :: Monad m => PrettyOptions -> Rational -> Literal -> m ClashDoc Source #
type Rep Literal Source #
Instance details Defined in Clash.Core.Literal type Rep Literal = D1 ('MetaData "Literal" "Clash.Core.Literal" "clash-lib-1.2.4-inplace" 'False) (((C1 ('MetaCons "IntegerLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: C1 ('MetaCons "IntLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer))) :+: (C1 ('MetaCons "WordLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "Int64Literal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: C1 ('MetaCons "Word64Literal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer))))) :+: ((C1 ('MetaCons "StringLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: (C1 ('MetaCons "FloatLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational)) :+: C1 ('MetaCons "DoubleLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational)))) :+: (C1 ('MetaCons "CharLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Char)) :+: (C1 ('MetaCons "NaturalLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: C1 ('MetaCons "ByteArrayLiteral" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector Word8)))))))

literalType :: Literal -> Type Source #

Determines the Type of a Literal

IntegerLiteral !Integer
IntLiteral !Integer
WordLiteral !Integer
Int64Literal !Integer
Word64Literal !Integer
StringLiteral !String
FloatLiteral !Rational
DoubleLiteral !Rational
CharLiteral !Char
NaturalLiteral !Integer
ByteArrayLiteral !(Vector Word8)