Gen

Generic interface for Term types.

Documentation

data Syntax

Constructors

Type

type information

Keyword

standard keywords of the language

Literal

literal values (e.g. strings, numbers)

Unique

unique identifiers

Qualifier

qualifiers for modules

Custom String

used for user-supplied styling

Instances

Show Syntax

Defined in Gen

Methods

showsPrec :: Int -> Syntax -> ShowS

show :: Syntax -> String

showList :: [Syntax] -> ShowS

class Eq (Ctx term) => Diff term where

Minimal complete definition

ppr', patch

Associated Types

type Ann term :: *

type Options term :: *

type Ctx term :: *

Methods

readHistory :: FilePath -> IO (History term (Ctx term))

readHistory :: (Binary term, Binary (Ctx term)) => FilePath -> IO (History term (Ctx term))

initialExpr :: History term (Ctx term) -> term

topEntity :: String

handleAnn :: Ann term -> Either Syntax (Ctx term)

handleAnn :: Ann term ~ Ctx term => Ann term -> Either Syntax (Ctx term)

userStyles :: [(String, Attr)]

initOptions :: Options term

initOptions :: Default (Options term) => Options term

flagFields :: [(Options term -> Bool, Options term -> Bool -> Options term, String)]

ppr' :: Options term -> term -> Doc (Ann term)

patch :: term -> [Ctx term] -> term -> term

type History term ctx = [HStep term ctx]

data HStep term ctx

Constructors

HStep

Fields

• _ctx :: [ctx]
• _bndrS :: String
• _name :: String
• _before :: term
• _after :: term

Instances

(Show ctx, Show term) => Show (HStep term ctx)

Defined in Gen

Methods

showsPrec :: Int -> HStep term ctx -> ShowS

show :: HStep term ctx -> String

showList :: [HStep term ctx] -> ShowS

Generic (HStep term ctx)

Defined in Gen

Associated Types

type Rep (HStep term ctx) :: Type -> Type

Methods

from :: HStep term ctx -> Rep (HStep term ctx) x

to :: Rep (HStep term ctx) x -> HStep term ctx

(Binary ctx, Binary term) => Binary (HStep term ctx)

Defined in Gen

Methods

put :: HStep term ctx -> Put

get :: Get (HStep term ctx)

putList :: [HStep term ctx] -> Put

type Rep (HStep term ctx)

Defined in Gen

type Rep (HStep term ctx) = D1 (MetaData "HStep" "Gen" "rewrite-inspector-0.1.0.3-CMWjiOerEiUS14QM6gwSs" False) (C1 (MetaCons "HStep" PrefixI True) ((S1 (MetaSel (Just "_ctx") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ctx]) :*: S1 (MetaSel (Just "_bndrS") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :*: (S1 (MetaSel (Just "_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Just "_before") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 term) :*: S1 (MetaSel (Just "_after") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 term)))))

name :: forall term ctx. Lens' (HStep term ctx) String

ctx :: forall term ctx ctx. Lens (HStep term ctx) (HStep term ctx) [ctx] [ctx]

bndrS :: forall term ctx. Lens' (HStep term ctx) String

before :: forall term ctx. Lens' (HStep term ctx) term

after :: forall term ctx. Lens' (HStep term ctx) term