Dino.AST

Untyped representation of abstract syntax trees

Representation

newtype Field

A wrapper for String with a Show instance that omits quotes

Useful in situations where show is (ab)used to provide conversion to String rather than for displaying values.

Constructors

Field

Fields

• unField :: String

Instances

Eq Field

Defined in Dino.Pretty

Methods

(==) :: Field -> Field -> Bool

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

Ord Field

Defined in Dino.Pretty

Methods

compare :: Field -> Field -> Ordering

(<) :: Field -> Field -> Bool

(<=) :: Field -> Field -> Bool

(>) :: Field -> Field -> Bool

(>=) :: Field -> Field -> Bool

max :: Field -> Field -> Field

min :: Field -> Field -> Field

Show Field

Defined in Dino.Pretty

Methods

showsPrec :: Int -> Field -> ShowS

show :: Field -> String

showList :: [Field] -> ShowS

IsString Field

Defined in Dino.Pretty

Methods

fromString :: String -> Field

Pretty Field

Defined in Dino.Pretty

Methods

pretty :: Field -> Doc

prettyList :: [Field] -> Doc

Hashable Field

Defined in Dino.Pretty

Methods

hashWithSalt :: Int -> Field -> Int

hash :: Field -> Int

Inspectable a => Inspectable (Mapping Field a)

Defined in Dino.AST

Methods

inspect :: Mapping Field a -> AST Rational

data Mapping k v

Constructors

Mapping Importance !(HashMap k v)

Instances

Functor (Mapping k)

Defined in Dino.AST

Methods

fmap :: (a -> b) -> Mapping k a -> Mapping k b

(<$) :: a -> Mapping k b -> Mapping k a

Foldable (Mapping k)

Defined in Dino.AST

Methods

fold :: Monoid m => Mapping k m -> m

foldMap :: Monoid m => (a -> m) -> Mapping k a -> m

foldr :: (a -> b -> b) -> b -> Mapping k a -> b

foldr' :: (a -> b -> b) -> b -> Mapping k a -> b

foldl :: (b -> a -> b) -> b -> Mapping k a -> b

foldl' :: (b -> a -> b) -> b -> Mapping k a -> b

foldr1 :: (a -> a -> a) -> Mapping k a -> a

foldl1 :: (a -> a -> a) -> Mapping k a -> a

toList :: Mapping k a -> [a]

null :: Mapping k a -> Bool

length :: Mapping k a -> Int

elem :: Eq a => a -> Mapping k a -> Bool

maximum :: Ord a => Mapping k a -> a

minimum :: Ord a => Mapping k a -> a

sum :: Num a => Mapping k a -> a

product :: Num a => Mapping k a -> a

Traversable (Mapping k)

Defined in Dino.AST

Methods

traverse :: Applicative f => (a -> f b) -> Mapping k a -> f (Mapping k b)

sequenceA :: Applicative f => Mapping k (f a) -> f (Mapping k a)

mapM :: Monad m => (a -> m b) -> Mapping k a -> m (Mapping k b)

sequence :: Monad m => Mapping k (m a) -> m (Mapping k a)

(Eq k, Eq v) => Eq (Mapping k v)

Defined in Dino.AST

Methods

(==) :: Mapping k v -> Mapping k v -> Bool

(/=) :: Mapping k v -> Mapping k v -> Bool

(Show k, Show v) => Show (Mapping k v)

Defined in Dino.AST

Methods

showsPrec :: Int -> Mapping k v -> ShowS

show :: Mapping k v -> String

showList :: [Mapping k v] -> ShowS

Generic (Mapping k v)

Defined in Dino.AST

Associated Types

type Rep (Mapping k v) :: Type -> Type

Methods

from :: Mapping k v -> Rep (Mapping k v) x

to :: Rep (Mapping k v) x -> Mapping k v

(Pretty a, Show k, Ord k) => Pretty (Mapping k a)

If k is a String-like type, it will be shown with quotes. Use Field to prevent this.

Defined in Dino.AST

Methods

pretty :: Mapping k a -> Doc

prettyList :: [Mapping k a] -> Doc

(Pretty a, Pretty (Diff a), Show k, Ord k) => Pretty (Mapping k (ElemOp a))

If k is a String-like type, it will be shown with quotes. Use Field to prevent this.

Defined in Dino.AST.Diff

Methods

pretty :: Mapping k (ElemOp a) -> Doc

prettyList :: [Mapping k (ElemOp a)] -> Doc

(Hashable k, Hashable v) => Hashable (Mapping k v)

Defined in Dino.AST

Methods

hashWithSalt :: Int -> Mapping k v -> Int

hash :: Mapping k v -> Int

Inspectable a => Inspectable (Mapping Field a)

Defined in Dino.AST

Methods

inspect :: Mapping Field a -> AST Rational

(Eq k, Hashable k, Diffable a) => Diffable (Mapping k a)

Defined in Dino.AST.Diff

Associated Types

type Diff (Mapping k a) :: Type

Methods

diff :: Mapping k a -> Mapping k a -> Maybe (Diff (Mapping k a))

applyDiff :: Diff (Mapping k a) -> Mapping k a -> Maybe (Mapping k a)

type Rep (Mapping k v)

Defined in Dino.AST

type Rep (Mapping k v) = D1 (MetaData "Mapping" "Dino.AST" "dino-0.1-6MkCTG92eXJDyeFPmd1P4Q" False) (C1 (MetaCons "Mapping" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Importance) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (HashMap k v))))

type Diff (Mapping k a)

Defined in Dino.AST.Diff

type Diff (Mapping k a) = Mapping k (ElemOp a)

data NameType

Constructors

Constructor

Global constructor or variable

LocalVar

Local variable

Annotation

User annotation

Instances

Bounded NameType

Defined in Dino.AST

Methods

minBound :: NameType

maxBound :: NameType

Enum NameType

Defined in Dino.AST

Methods

succ :: NameType -> NameType

pred :: NameType -> NameType

toEnum :: Int -> NameType

fromEnum :: NameType -> Int

enumFrom :: NameType -> [NameType]

enumFromThen :: NameType -> NameType -> [NameType]

enumFromTo :: NameType -> NameType -> [NameType]

enumFromThenTo :: NameType -> NameType -> NameType -> [NameType]

Eq NameType

Defined in Dino.AST

Methods

(==) :: NameType -> NameType -> Bool

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

Show NameType

Defined in Dino.AST

Methods

showsPrec :: Int -> NameType -> ShowS

show :: NameType -> String

showList :: [NameType] -> ShowS

Generic NameType

Defined in Dino.AST

Associated Types

type Rep NameType :: Type -> Type

Methods

from :: NameType -> Rep NameType x

to :: Rep NameType x -> NameType

Hashable NameType

Defined in Dino.AST

Methods

hashWithSalt :: Int -> NameType -> Int

hash :: NameType -> Int

type Rep NameType

Defined in Dino.AST

type Rep NameType = D1 (MetaData "NameType" "Dino.AST" "dino-0.1-6MkCTG92eXJDyeFPmd1P4Q" False) (C1 (MetaCons "Constructor" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "LocalVar" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Annotation" PrefixI False) (U1 :: Type -> Type)))

data Constr

Description of a constructor or variable

Constructors

Tuple

List

Named NameType Text

Instances

Eq Constr

Defined in Dino.AST

Methods

(==) :: Constr -> Constr -> Bool

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

Show Constr

Defined in Dino.AST

Methods

showsPrec :: Int -> Constr -> ShowS

show :: Constr -> String

showList :: [Constr] -> ShowS

IsString Constr

Creates a Named constructor/variable

Defined in Dino.AST

Methods

fromString :: String -> Constr

Generic Constr

Defined in Dino.AST

Associated Types

type Rep Constr :: Type -> Type

Methods

from :: Constr -> Rep Constr x

to :: Rep Constr x -> Constr

Hashable Constr

Defined in Dino.AST

Methods

hashWithSalt :: Int -> Constr -> Int

hash :: Constr -> Int

type Rep Constr

Defined in Dino.AST

type Rep Constr = D1 (MetaData "Constr" "Dino.AST" "dino-0.1-6MkCTG92eXJDyeFPmd1P4Q" False) (C1 (MetaCons "Tuple" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "List" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Named" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NameType) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

data Importance

Constructors

Unimportant

Important

Instances

Eq Importance

Defined in Dino.Pretty

Methods

(==) :: Importance -> Importance -> Bool

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

Show Importance

Defined in Dino.Pretty

Methods

showsPrec :: Int -> Importance -> ShowS

show :: Importance -> String

showList :: [Importance] -> ShowS

Generic Importance

Defined in Dino.Pretty

Associated Types

type Rep Importance :: Type -> Type

Methods

from :: Importance -> Rep Importance x

to :: Rep Importance x -> Importance

Semigroup Importance

Returns Important iff. any argument is Important.

Defined in Dino.Pretty

Methods

(<>) :: Importance -> Importance -> Importance

sconcat :: NonEmpty Importance -> Importance

stimes :: Integral b => b -> Importance -> Importance

Hashable Importance

Defined in Dino.Pretty

Methods

hashWithSalt :: Int -> Importance -> Int

hash :: Importance -> Int

type Rep Importance

Defined in Dino.Pretty

type Rep Importance = D1 (MetaData "Importance" "Dino.Pretty" "dino-0.1-6MkCTG92eXJDyeFPmd1P4Q" False) (C1 (MetaCons "Unimportant" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Important" PrefixI False) (U1 :: Type -> Type))

data AST n

Representation of abstract syntax and values

AST is parameterized by the representation of numbers. This makes it possible to affect the exactness of comparisons. For example a newtype with approximate equality can be used instead of e.g. Double.

Constructors

Number n

Numeric literal

Text Text

Text literal

App Constr [AST n]

Application of constructor or variable

Let Text (AST n) (AST n)

Let v a body binds v to a in body

Record (Mapping Field (AST n))

Instances

Functor AST

Defined in Dino.AST

Methods

fmap :: (a -> b) -> AST a -> AST b

(<$) :: a -> AST b -> AST a

Foldable AST

Defined in Dino.AST

Methods

fold :: Monoid m => AST m -> m

foldMap :: Monoid m => (a -> m) -> AST a -> m

foldr :: (a -> b -> b) -> b -> AST a -> b

foldr' :: (a -> b -> b) -> b -> AST a -> b

foldl :: (b -> a -> b) -> b -> AST a -> b

foldl' :: (b -> a -> b) -> b -> AST a -> b

foldr1 :: (a -> a -> a) -> AST a -> a

foldl1 :: (a -> a -> a) -> AST a -> a

toList :: AST a -> [a]

null :: AST a -> Bool

length :: AST a -> Int

elem :: Eq a => a -> AST a -> Bool

maximum :: Ord a => AST a -> a

minimum :: Ord a => AST a -> a

sum :: Num a => AST a -> a

product :: Num a => AST a -> a

Traversable AST

Defined in Dino.AST

Methods

traverse :: Applicative f => (a -> f b) -> AST a -> f (AST b)

sequenceA :: Applicative f => AST (f a) -> f (AST a)

mapM :: Monad m => (a -> m b) -> AST a -> m (AST b)

sequence :: Monad m => AST (m a) -> m (AST a)

Eq n => Eq (AST n)

Defined in Dino.AST

Methods

(==) :: AST n -> AST n -> Bool

(/=) :: AST n -> AST n -> Bool

Show n => Show (AST n)

Defined in Dino.AST

Methods

showsPrec :: Int -> AST n -> ShowS

show :: AST n -> String

showList :: [AST n] -> ShowS

Generic (AST n)

Defined in Dino.AST

Associated Types

type Rep (AST n) :: Type -> Type

Methods

from :: AST n -> Rep (AST n) x

to :: Rep (AST n) x -> AST n

Show a => Pretty (AST a)

Defined in Dino.AST

Methods

pretty :: AST a -> Doc

prettyList :: [AST a] -> Doc

Hashable n => Hashable (AST n)

Defined in Dino.AST

Methods

hashWithSalt :: Int -> AST n -> Int

hash :: AST n -> Int

Real n => Inspectable (AST n)

Defined in Dino.AST

Methods

inspect :: AST n -> AST Rational

Eq a => Diffable (AST a)

Defined in Dino.AST.Diff

Associated Types

type Diff (AST a) :: Type

Methods

diff :: AST a -> AST a -> Maybe (Diff (AST a))

applyDiff :: Diff (AST a) -> AST a -> Maybe (AST a)

type Rep (AST n)

Defined in Dino.AST

type Rep (AST n) = D1 (MetaData "AST" "Dino.AST" "dino-0.1-6MkCTG92eXJDyeFPmd1P4Q" False) ((C1 (MetaCons "Number" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 n)) :+: C1 (MetaCons "Text" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :+: (C1 (MetaCons "App" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Constr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AST n])) :+: (C1 (MetaCons "Let" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AST n)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AST n)))) :+: C1 (MetaCons "Record" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Mapping Field (AST n)))))))

type Diff (AST a)

Defined in Dino.AST.Diff

type Diff (AST a) = Edit a

record :: HasCallStack => Importance -> [(Field, AST n)] -> AST n

prettyNamed :: NameType -> Text -> Doc

Generic inspection

class GInspectableArgs rep where

Methods

gInspectArgs :: rep x -> [AST Rational]

Instances

GInspectableArgs (U1 :: k -> Type)

Defined in Dino.AST

Methods

gInspectArgs :: U1 x -> [AST Rational]

(GInspectableArgs rep1, GInspectableArgs rep2) => GInspectableArgs (rep1 :*: rep2 :: k -> Type)

Defined in Dino.AST

Methods

gInspectArgs :: (rep1 :*: rep2) x -> [AST Rational]

Inspectable a => GInspectableArgs (S1 (MetaSel (Nothing :: Maybe Symbol) x y z) (Rec0 a) :: k -> Type)

Defined in Dino.AST

Methods

gInspectArgs :: S1 (MetaSel Nothing x y z) (Rec0 a) x0 -> [AST Rational]

class GInspectableFields rep where

Methods

gInspectFields :: rep x -> [(Field, AST Rational)]

Instances

GInspectableFields (U1 :: k -> Type)

Defined in Dino.AST

Methods

gInspectFields :: U1 x -> [(Field, AST Rational)]

(GInspectableFields rep1, GInspectableFields rep2) => GInspectableFields (rep1 :*: rep2 :: k -> Type)

Defined in Dino.AST

Methods

gInspectFields :: (rep1 :*: rep2) x -> [(Field, AST Rational)]

(Inspectable a, KnownSymbol fld) => GInspectableFields (S1 (MetaSel (Just fld) x y z) (Rec0 a) :: k -> Type)

Defined in Dino.AST

Methods

gInspectFields :: S1 (MetaSel (Just fld) x y z) (Rec0 a) x0 -> [(Field, AST Rational)]

class GInspectable rep where

Methods

gInspect :: rep x -> AST Rational

Instances

(GInspectableFields rep, KnownSymbol con) => GInspectable (C1 (MetaCons con x True) rep :: k -> Type)

Defined in Dino.AST

Methods

gInspect :: C1 (MetaCons con x True) rep x0 -> AST Rational

(GInspectableArgs rep, KnownSymbol con) => GInspectable (C1 (MetaCons con x False) rep :: k -> Type)

Defined in Dino.AST

Methods

gInspect :: C1 (MetaCons con x False) rep x0 -> AST Rational

GInspectable rep => GInspectable (D1 meta rep :: k -> Type)

Defined in Dino.AST

Methods

gInspect :: D1 meta rep x -> AST Rational

(GInspectable rep1, GInspectable rep2) => GInspectable (rep1 :+: rep2 :: k -> Type)

Defined in Dino.AST

Methods

gInspect :: (rep1 :+: rep2) x -> AST Rational

class Inspectable a where

Minimal complete definition

Nothing

Methods

inspect :: a -> AST Rational

inspect :: (Generic a, GInspectable (Rep a)) => a -> AST Rational

Instances

Inspectable Bool

Defined in Dino.AST

Methods

inspect :: Bool -> AST Rational

Inspectable Double

Defined in Dino.AST

Methods

inspect :: Double -> AST Rational

Inspectable Float

Defined in Dino.AST

Methods

inspect :: Float -> AST Rational

Inspectable Int

Defined in Dino.AST

Methods

inspect :: Int -> AST Rational

Inspectable Integer

Defined in Dino.AST

Methods

inspect :: Integer -> AST Rational

Inspectable Rational

Defined in Dino.AST

Methods

inspect :: Rational -> AST Rational

Inspectable ()

Defined in Dino.AST

Methods

inspect :: () -> AST Rational

Inspectable String

Defined in Dino.AST

Methods

inspect :: String -> AST Rational

Inspectable Text

Defined in Dino.AST

Methods

inspect :: Text -> AST Rational

Inspectable a => Inspectable [a]

Defined in Dino.AST

Methods

inspect :: [a] -> AST Rational

Inspectable a => Inspectable (Maybe a)

Defined in Dino.AST

Methods

inspect :: Maybe a -> AST Rational

Real n => Inspectable (AST n)

Defined in Dino.AST

Methods

inspect :: AST n -> AST Rational

Inspectable (Reified a)

Defined in Dino.Interpretation

Methods

inspect :: Reified a -> AST Rational

(Inspectable a, Inspectable b) => Inspectable (a, b)

Defined in Dino.AST

Methods

inspect :: (a, b) -> AST Rational

Inspectable a => Inspectable (Mapping Field a)

Defined in Dino.AST

Methods

inspect :: Mapping Field a -> AST Rational

(Inspectable a, Inspectable b, Inspectable c) => Inspectable (a, b, c)

Defined in Dino.AST

Methods

inspect :: (a, b, c) -> AST Rational

(Inspectable a, Inspectable b, Inspectable c, Inspectable d) => Inspectable (a, b, c, d)

Defined in Dino.AST

Methods

inspect :: (a, b, c, d) -> AST Rational

inspectListAsRec

Arguments

:: Inspectable a

=> Importance

-> (a -> Field)

Extract the key

-> [a]

-> AST Rational

Represent a list as a record, if the elements contain a value that can be used as key

Conversion to Tree

toTree :: Show n => AST n -> Tree Text

Conversion from AST to Tree

• Built-in consturctors (tuples and lists) are shown prepended with #.
• Record fields are shown as fieldName:.
• Local variables are shown as *varName (both at binding and use site).
• Annotations are shown as "ANN: annotation ".

showTree :: Show n => AST n -> String

Show an AST using Unicode art

drawTree :: Show n => AST n -> IO ()

Draw an AST on the terminal using Unicode art

htmlTree :: Show n => FilePath -> AST n -> IO ()

Convert an AST to an HTML file with foldable nodes