Safe Haskell	None
Language	Haskell2010

Data.ECTA.Internal.Term

Documentation

data Symbol Source #

Constructors

Symbol' !InternedText

Bundled Patterns

pattern Symbol :: Text -> Symbol

Instances

Instances details

Eq Symbol Source #
Instance details Defined in Data.ECTA.Internal.Term Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details Defined in Data.ECTA.Internal.Term Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #
Read Symbol Source #
Instance details Defined in Data.ECTA.Internal.Term Methods readsPrec :: Int -> ReadS Symbol # readList :: ReadS [Symbol] # readPrec :: ReadPrec Symbol # readListPrec :: ReadPrec [Symbol] #
Show Symbol Source #
Instance details Defined in Data.ECTA.Internal.Term Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #
IsString Symbol Source #
Instance details Defined in Data.ECTA.Internal.Term Methods fromString :: String -> Symbol #
Hashable Symbol Source #
Instance details Defined in Data.ECTA.Internal.Term Methods hashWithSalt :: Int -> Symbol -> Int # hash :: Symbol -> Int #
Pretty Symbol Source #
Instance details Defined in Data.ECTA.Internal.Term Methods pretty :: Symbol -> Text Source #

data Term Source #

Constructors

Term !Symbol ![Term]

Instances

Instances details

Eq Term Source #
Instance details Defined in Data.ECTA.Internal.Term Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Ord Term Source #
Instance details Defined in Data.ECTA.Internal.Term Methods compare :: Term -> Term -> Ordering # (<) :: Term -> Term -> Bool # (<=) :: Term -> Term -> Bool # (>) :: Term -> Term -> Bool # (>=) :: Term -> Term -> Bool # max :: Term -> Term -> Term # min :: Term -> Term -> Term #
Read Term Source #
Instance details Defined in Data.ECTA.Internal.Term Methods readsPrec :: Int -> ReadS Term # readList :: ReadS [Term] # readPrec :: ReadPrec Term # readListPrec :: ReadPrec [Term] #
Show Term Source #
Instance details Defined in Data.ECTA.Internal.Term Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Generic Term Source #
Instance details Defined in Data.ECTA.Internal.Term Associated Types type Rep Term :: Type -> Type # Methods from :: Term -> Rep Term x # to :: Rep Term x -> Term #
Hashable Term Source #
Instance details Defined in Data.ECTA.Internal.Term Methods hashWithSalt :: Int -> Term -> Int # hash :: Term -> Int #
Pretty Term Source #
Instance details Defined in Data.ECTA.Internal.Term Methods pretty :: Term -> Text Source #
Pathable Term Term Source #
Instance details Defined in Data.ECTA.Internal.Term Associated Types type Emptyable Term Source # Methods getPath :: Path -> Term -> Emptyable Term Source # getAllAtPath :: Path -> Term -> [Term] Source # modifyAtPath :: (Term -> Term) -> Path -> Term -> Term Source #
type Rep Term Source #
Instance details Defined in Data.ECTA.Internal.Term type Rep Term = D1 ('MetaData "Term" "Data.ECTA.Internal.Term" "ecta-1.0.0.3-GsgcdoZGkFZA4oJqDsbHRS" 'False) (C1 ('MetaCons "Term" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Symbol) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Term])))
type Emptyable Term Source #
Instance details Defined in Data.ECTA.Internal.Term type Emptyable Term = Maybe Term