Copyright	(c) Sirui Lu 2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	None
Language	Haskell2010

Grisette.Internal.Core.Data.SExpr

Description

Synopsis

data SExpr
- = Atom Text
- | List [SExpr]
- | NumberAtom Integer
- | BoolAtom Bool
showsSExprWithParens :: Char -> Char -> SExpr -> ShowS
parseFileLocation :: String -> SExpr
fileLocation :: SpliceQ SExpr

Documentation

data SExpr Source #

S-expression data type. Used for symbol metadata.

Constructors

Atom Text
List [SExpr]
NumberAtom Integer
BoolAtom Bool

Instances

Instances details

Binary SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

put :: SExpr -> Put #

get :: Get SExpr #

putList :: [SExpr] -> Put #

Serial SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

serialize :: MonadPut m => SExpr -> m () #

deserialize :: MonadGet m => m SExpr #

Serialize SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

put :: Putter SExpr #

get :: Get SExpr #

NFData SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

rnf :: SExpr -> () #

Generic SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Associated Types

type Rep SExpr

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

type Rep SExpr = D1 ('MetaData "SExpr" "Grisette.Internal.Core.Data.SExpr" "grisette-0.11.0.0-HndeEPlDvvDHSETLw6O8c" 'False) ((C1 ('MetaCons "Atom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SExpr]))) :+: (C1 ('MetaCons "NumberAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "BoolAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

Methods

from :: SExpr -> Rep SExpr x #

to :: Rep SExpr x -> SExpr #

Show SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

showsPrec :: Int -> SExpr -> ShowS #

show :: SExpr -> String #

showList :: [SExpr] -> ShowS #

Eq SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

(==) :: SExpr -> SExpr -> Bool #

(/=) :: SExpr -> SExpr -> Bool #

Ord SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

compare :: SExpr -> SExpr -> Ordering #

(<) :: SExpr -> SExpr -> Bool #

(<=) :: SExpr -> SExpr -> Bool #

(>) :: SExpr -> SExpr -> Bool #

(>=) :: SExpr -> SExpr -> Bool #

max :: SExpr -> SExpr -> SExpr #

min :: SExpr -> SExpr -> SExpr #

AsMetadata SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.Symbol

Methods

asMetadata :: SExpr -> SExpr Source #

fromMetadata :: SExpr -> Maybe SExpr Source #

Hashable SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

hashWithSalt :: Int -> SExpr -> Int #

hash :: SExpr -> Int #

Lift SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

Methods

lift :: Quote m => SExpr -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => SExpr -> Code m SExpr #

type Rep SExpr Source #

Instance details

Defined in Grisette.Internal.Core.Data.SExpr

type Rep SExpr = D1 ('MetaData "SExpr" "Grisette.Internal.Core.Data.SExpr" "grisette-0.11.0.0-HndeEPlDvvDHSETLw6O8c" 'False) ((C1 ('MetaCons "Atom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SExpr]))) :+: (C1 ('MetaCons "NumberAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "BoolAtom" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

showsSExprWithParens :: Char -> Char -> SExpr -> ShowS Source #

Show an S-expression with specific parentheses.

parseFileLocation :: String -> SExpr Source #

Parse a file location string into an S-expression.

fileLocation :: SpliceQ SExpr Source #

Get the file location of the splice.