Copyright	(C) 2012-2016, University of Twente
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

Documentation

data Literal Source #

Term Literal

Constructors

IntegerLiteral !Integer
IntLiteral !Integer
WordLiteral !Integer
Int64Literal !Integer
Word64Literal !Integer
StringLiteral !String
RationalLiteral !Rational
CharLiteral !Char

Instances

Eq Literal Source #
Methods (==) :: Literal -> Literal -> Bool # (/=) :: Literal -> Literal -> Bool #
Ord Literal Source #
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 #
Methods showsPrec :: Int -> Literal -> ShowS # show :: Literal -> String # showList :: [Literal] -> ShowS #
Generic Literal Source #
Associated Types type Rep Literal :: * -> * # Methods from :: Literal -> Rep Literal x # to :: Rep Literal x -> Literal #
NFData Literal Source #
Methods rnf :: Literal -> () #
Alpha Literal Source #
Methods aeq' :: AlphaCtx -> Literal -> Literal -> Bool # fvAny' :: (Contravariant f, Applicative f) => AlphaCtx -> (AnyName -> f AnyName) -> Literal -> f Literal # close :: AlphaCtx -> NamePatFind -> Literal -> Literal # open :: AlphaCtx -> NthPatFind -> Literal -> Literal # isPat :: Literal -> DisjointSet AnyName # isTerm :: Literal -> All # isEmbed :: Literal -> Bool # nthPatFind :: Literal -> NthPatFind # namePatFind :: Literal -> NamePatFind # swaps' :: AlphaCtx -> Perm AnyName -> Literal -> Literal # lfreshen' :: LFresh m => AlphaCtx -> Literal -> (Literal -> Perm AnyName -> m b) -> m b # freshen' :: Fresh m => AlphaCtx -> Literal -> m (Literal, Perm AnyName) # acompare' :: AlphaCtx -> Literal -> Literal -> Ordering #
Pretty Literal Source #
Methods ppr :: (Applicative m, LFresh m) => Literal -> m Doc Source # pprPrec :: (Applicative m, LFresh m) => Rational -> Literal -> m Doc Source #
Subst a Literal Source #
Methods isvar :: Literal -> Maybe (SubstName Literal a) # isCoerceVar :: Literal -> Maybe (SubstCoerce Literal a) # subst :: Name a -> a -> Literal -> Literal # substs :: [(Name a, a)] -> Literal -> Literal #
type Rep Literal Source #
type Rep Literal = D1 (MetaData "Literal" "CLaSH.Core.Literal" "clash-lib-0.6.20-8SwLo8Oj03X2bDE0EC3Smi" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "IntegerLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer))) (C1 (MetaCons "IntLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer)))) ((:+:) (C1 (MetaCons "WordLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer))) (C1 (MetaCons "Int64Literal" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer))))) ((:+:) ((:+:) (C1 (MetaCons "Word64Literal" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer))) (C1 (MetaCons "StringLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 String)))) ((:+:) (C1 (MetaCons "RationalLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Rational))) (C1 (MetaCons "CharLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Char))))))

literalType :: Literal -> Type Source #

Determines the Type of a Literal