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

Instances

Eq Literal

Methods

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

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

Ord 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

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

Generic Literal

Associated Types

type Rep Literal :: * -> *

Methods

from :: Literal -> Rep Literal x

to :: Rep Literal x -> Literal

NFData Literal

Methods

rnf :: Literal -> ()

Alpha Literal

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

Methods

ppr :: LFresh m => Literal -> m Doc

pprPrec :: LFresh m => Rational -> Literal -> m Doc

Subst a Literal

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

type Rep Literal = D1 (MetaData "Literal" "CLaSH.Core.Literal" "clash-lib-0.7-83ZNOjNIImPHkX9dasXVwo" 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 "FloatLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Rational))) ((:+:) (C1 (MetaCons "DoubleLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Rational))) (C1 (MetaCons "CharLiteral" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Char)))))))

literalType :: Literal -> Type

Determines the Type of a Literal