Clash.Core.Literal

Term Literal

Documentation

data Literal

Term Literal

Constructors

IntegerLiteral !Integer

IntLiteral !Integer

WordLiteral !Integer

Int64Literal !Integer

Word64Literal !Integer

StringLiteral !String

FloatLiteral !Rational

DoubleLiteral !Rational

CharLiteral !Char

NaturalLiteral !Integer

ByteArrayLiteral !(Vector Word8)

Instances

Eq Literal

Defined in Clash.Core.Literal

Methods

(==) :: Literal -> Literal -> Bool

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

Ord Literal

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

Defined in Clash.Core.Literal

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Generic Literal

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

Defined in Clash.Core.Literal

Methods

hashWithSalt :: Int -> Literal -> Int

hash :: Literal -> Int

Binary Literal

Defined in Clash.Core.Literal

Methods

put :: Literal -> Put

get :: Get Literal

putList :: [Literal] -> Put

NFData Literal

Defined in Clash.Core.Literal

Methods

rnf :: Literal -> ()

PrettyPrec Literal

Defined in Clash.Core.Pretty

Methods

pprPrec :: Monad m => Rational -> Literal -> m ClashDoc

pprPrec' :: Monad m => PrettyOptions -> Rational -> Literal -> m ClashDoc

type Rep Literal

Defined in Clash.Core.Literal

type Rep Literal = D1 ('MetaData "Literal" "Clash.Core.Literal" "clash-lib-1.1.0-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

Determines the Type of a Literal