Mello.Syntax

Documentation

newtype Sym

Constructors

Sym

Fields

• unSym :: Text

Instances

IsString Sym

Defined in Mello.Syntax

Methods

fromString :: String -> Sym

Show Sym

Defined in Mello.Syntax

Methods

showsPrec :: Int -> Sym -> ShowS

show :: Sym -> String

showList :: [Sym] -> ShowS

Eq Sym

Defined in Mello.Syntax

Methods

(==) :: Sym -> Sym -> Bool

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

Ord Sym

Defined in Mello.Syntax

Methods

compare :: Sym -> Sym -> Ordering

(<) :: Sym -> Sym -> Bool

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

(>) :: Sym -> Sym -> Bool

(>=) :: Sym -> Sym -> Bool

max :: Sym -> Sym -> Sym

min :: Sym -> Sym -> Sym

ToSexp Sym

Defined in Mello.Print

Methods

toSexp :: Sym -> Sexp

Pretty Sym

Defined in Mello.Syntax

Methods

pretty :: Sym -> Doc ann

prettyList :: [Sym] -> Doc ann

Monad m => MatchSexp e k m Sym

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Sym

data Atom

Leaves of S-expression trees

Constructors

AtomSym !Sym

AtomInt !Integer

AtomSci !Scientific

AtomStr !Text

AtomChar !Char

Instances

IsString Atom

Defined in Mello.Syntax

Methods

fromString :: String -> Atom

Num Atom

Defined in Mello.Syntax

Methods

(+) :: Atom -> Atom -> Atom

(-) :: Atom -> Atom -> Atom

(*) :: Atom -> Atom -> Atom

negate :: Atom -> Atom

abs :: Atom -> Atom

signum :: Atom -> Atom

fromInteger :: Integer -> Atom

Show Atom

Defined in Mello.Syntax

Methods

showsPrec :: Int -> Atom -> ShowS

show :: Atom -> String

showList :: [Atom] -> ShowS

Eq Atom

Defined in Mello.Syntax

Methods

(==) :: Atom -> Atom -> Bool

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

Ord Atom

Defined in Mello.Syntax

Methods

compare :: Atom -> Atom -> Ordering

(<) :: Atom -> Atom -> Bool

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

(>) :: Atom -> Atom -> Bool

(>=) :: Atom -> Atom -> Bool

max :: Atom -> Atom -> Atom

min :: Atom -> Atom -> Atom

ToSexp Atom

Defined in Mello.Print

Methods

toSexp :: Atom -> Sexp

Pretty Atom

Defined in Mello.Syntax

Methods

pretty :: Atom -> Doc ann

prettyList :: [Atom] -> Doc ann

Monad m => MatchSexp e k m Atom

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Atom

data AtomType

Constructors

AtomTypeSym

AtomTypeInt

AtomTypeSci

AtomTypeStr

AtomTypeChar

Instances

Bounded AtomType

Defined in Mello.Syntax

Methods

minBound :: AtomType

maxBound :: AtomType

Enum AtomType

Defined in Mello.Syntax

Methods

succ :: AtomType -> AtomType

pred :: AtomType -> AtomType

toEnum :: Int -> AtomType

fromEnum :: AtomType -> Int

enumFrom :: AtomType -> [AtomType]

enumFromThen :: AtomType -> AtomType -> [AtomType]

enumFromTo :: AtomType -> AtomType -> [AtomType]

enumFromThenTo :: AtomType -> AtomType -> AtomType -> [AtomType]

Show AtomType

Defined in Mello.Syntax

Methods

showsPrec :: Int -> AtomType -> ShowS

show :: AtomType -> String

showList :: [AtomType] -> ShowS

Eq AtomType

Defined in Mello.Syntax

Methods

(==) :: AtomType -> AtomType -> Bool

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

Ord AtomType

Defined in Mello.Syntax

Methods

compare :: AtomType -> AtomType -> Ordering

(<) :: AtomType -> AtomType -> Bool

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

(>) :: AtomType -> AtomType -> Bool

(>=) :: AtomType -> AtomType -> Bool

max :: AtomType -> AtomType -> AtomType

min :: AtomType -> AtomType -> AtomType

data Brace

Constructors

BraceParen

BraceCurly

BraceSquare

Instances

Bounded Brace

Defined in Mello.Text

Methods

minBound :: Brace

maxBound :: Brace

Enum Brace

Defined in Mello.Text

Methods

succ :: Brace -> Brace

pred :: Brace -> Brace

toEnum :: Int -> Brace

fromEnum :: Brace -> Int

enumFrom :: Brace -> [Brace]

enumFromThen :: Brace -> Brace -> [Brace]

enumFromTo :: Brace -> Brace -> [Brace]

enumFromThenTo :: Brace -> Brace -> Brace -> [Brace]

Show Brace

Defined in Mello.Text

Methods

showsPrec :: Int -> Brace -> ShowS

show :: Brace -> String

showList :: [Brace] -> ShowS

Eq Brace

Defined in Mello.Text

Methods

(==) :: Brace -> Brace -> Bool

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

Ord Brace

Defined in Mello.Text

Methods

compare :: Brace -> Brace -> Ordering

(<) :: Brace -> Brace -> Bool

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

(>) :: Brace -> Brace -> Bool

(>=) :: Brace -> Brace -> Bool

max :: Brace -> Brace -> Brace

min :: Brace -> Brace -> Brace

newtype Doc

Constructors

Doc

Fields

• unDoc :: Seq Text

Instances

Show Doc

Defined in Mello.Syntax

Methods

showsPrec :: Int -> Doc -> ShowS

show :: Doc -> String

showList :: [Doc] -> ShowS

Eq Doc

Defined in Mello.Syntax

Methods

(==) :: Doc -> Doc -> Bool

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

Ord Doc

Defined in Mello.Syntax

Methods

compare :: Doc -> Doc -> Ordering

(<) :: Doc -> Doc -> Bool

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

(>) :: Doc -> Doc -> Bool

(>=) :: Doc -> Doc -> Bool

max :: Doc -> Doc -> Doc

min :: Doc -> Doc -> Doc

data SexpF r

An S-expression

Constructors

SexpAtomF !Atom

SexpListF !Brace !(Seq r)

SexpQuoteF r

SexpUnquoteF r

SexpDocF !Doc r

Instances

Foldable SexpF

Defined in Mello.Syntax

Methods

fold :: Monoid m => SexpF m -> m

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

foldMap' :: Monoid m => (a -> m) -> SexpF a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> SexpF a -> a

foldl1 :: (a -> a -> a) -> SexpF a -> a

toList :: SexpF a -> [a]

null :: SexpF a -> Bool

length :: SexpF a -> Int

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

maximum :: Ord a => SexpF a -> a

minimum :: Ord a => SexpF a -> a

sum :: Num a => SexpF a -> a

product :: Num a => SexpF a -> a

Traversable SexpF

Defined in Mello.Syntax

Methods

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

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

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

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

Functor SexpF

Defined in Mello.Syntax

Methods

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

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

Monad m => MatchSexp e k m (Memo SexpF k)

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m (Memo SexpF k)

IsString (SexpF r)

Defined in Mello.Syntax

Methods

fromString :: String -> SexpF r

Num (SexpF a)

Defined in Mello.Syntax

Methods

(+) :: SexpF a -> SexpF a -> SexpF a

(-) :: SexpF a -> SexpF a -> SexpF a

(*) :: SexpF a -> SexpF a -> SexpF a

negate :: SexpF a -> SexpF a

abs :: SexpF a -> SexpF a

signum :: SexpF a -> SexpF a

fromInteger :: Integer -> SexpF a

Show r => Show (SexpF r)

Defined in Mello.Syntax

Methods

showsPrec :: Int -> SexpF r -> ShowS

show :: SexpF r -> String

showList :: [SexpF r] -> ShowS

Eq r => Eq (SexpF r)

Defined in Mello.Syntax

Methods

(==) :: SexpF r -> SexpF r -> Bool

(/=) :: SexpF r -> SexpF r -> Bool

Ord r => Ord (SexpF r)

Defined in Mello.Syntax

Methods

compare :: SexpF r -> SexpF r -> Ordering

(<) :: SexpF r -> SexpF r -> Bool

(<=) :: SexpF r -> SexpF r -> Bool

(>) :: SexpF r -> SexpF r -> Bool

(>=) :: SexpF r -> SexpF r -> Bool

max :: SexpF r -> SexpF r -> SexpF r

min :: SexpF r -> SexpF r -> SexpF r

Pretty r => Pretty (SexpF r)

Defined in Mello.Syntax

Methods

pretty :: SexpF r -> Doc ann

prettyList :: [SexpF r] -> Doc ann

newtype Sexp

Constructors

Sexp

Fields

• unSexp :: SexpF Sexp

Instances

IsString Sexp

Defined in Mello.Syntax

Methods

fromString :: String -> Sexp

Num Sexp

Defined in Mello.Syntax

Methods

(+) :: Sexp -> Sexp -> Sexp

(-) :: Sexp -> Sexp -> Sexp

(*) :: Sexp -> Sexp -> Sexp

negate :: Sexp -> Sexp

abs :: Sexp -> Sexp

signum :: Sexp -> Sexp

fromInteger :: Integer -> Sexp

Show Sexp

Defined in Mello.Syntax

Methods

showsPrec :: Int -> Sexp -> ShowS

show :: Sexp -> String

showList :: [Sexp] -> ShowS

Eq Sexp

Defined in Mello.Syntax

Methods

(==) :: Sexp -> Sexp -> Bool

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

Ord Sexp

Defined in Mello.Syntax

Methods

compare :: Sexp -> Sexp -> Ordering

(<) :: Sexp -> Sexp -> Bool

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

(>) :: Sexp -> Sexp -> Bool

(>=) :: Sexp -> Sexp -> Bool

max :: Sexp -> Sexp -> Sexp

min :: Sexp -> Sexp -> Sexp

ToSexp Sexp

Defined in Mello.Print

Methods

toSexp :: Sexp -> Sexp

Pretty Sexp

Defined in Mello.Syntax

Methods

pretty :: Sexp -> Doc ann

prettyList :: [Sexp] -> Doc ann

Corecursive Sexp

Defined in Mello.Syntax

Methods

embed :: Base Sexp Sexp -> Sexp

ana :: (a -> Base Sexp a) -> a -> Sexp

apo :: (a -> Base Sexp (Either Sexp a)) -> a -> Sexp

postpro :: Recursive Sexp => (forall b. Base Sexp b -> Base Sexp b) -> (a -> Base Sexp a) -> a -> Sexp

gpostpro :: (Recursive Sexp, Monad m) => (forall b. m (Base Sexp b) -> Base Sexp (m b)) -> (forall c. Base Sexp c -> Base Sexp c) -> (a -> Base Sexp (m a)) -> a -> Sexp

Recursive Sexp

Defined in Mello.Syntax

Methods

project :: Sexp -> Base Sexp Sexp

cata :: (Base Sexp a -> a) -> Sexp -> a

para :: (Base Sexp (Sexp, a) -> a) -> Sexp -> a

gpara :: (Corecursive Sexp, Comonad w) => (forall b. Base Sexp (w b) -> w (Base Sexp b)) -> (Base Sexp (EnvT Sexp w a) -> a) -> Sexp -> a

prepro :: Corecursive Sexp => (forall b. Base Sexp b -> Base Sexp b) -> (Base Sexp a -> a) -> Sexp -> a

gprepro :: (Corecursive Sexp, Comonad w) => (forall b. Base Sexp (w b) -> w (Base Sexp b)) -> (forall c. Base Sexp c -> Base Sexp c) -> (Base Sexp (w a) -> a) -> Sexp -> a

Monad m => MatchSexp e k m Sexp

Defined in Mello.Match

Methods

matchSexp :: MatchT e k m Sexp

type Base Sexp

Defined in Mello.Syntax

type Base Sexp = SexpF

data SexpType

Constructors

SexpTypeAtom !AtomType

SexpTypeList !Brace

SexpTypeQuote

SexpTypeUnquote

SexpTypeDoc

Instances

Show SexpType

Defined in Mello.Syntax

Methods

showsPrec :: Int -> SexpType -> ShowS

show :: SexpType -> String

showList :: [SexpType] -> ShowS

Eq SexpType

Defined in Mello.Syntax

Methods

(==) :: SexpType -> SexpType -> Bool

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

Ord SexpType

Defined in Mello.Syntax

Methods

compare :: SexpType -> SexpType -> Ordering

(<) :: SexpType -> SexpType -> Bool

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

(>) :: SexpType -> SexpType -> Bool

(>=) :: SexpType -> SexpType -> Bool

max :: SexpType -> SexpType -> SexpType

min :: SexpType -> SexpType -> SexpType

pattern SexpAtom :: Atom -> Sexp

pattern SexpList :: Brace -> Seq Sexp -> Sexp

pattern SexpQuote :: Sexp -> Sexp

pattern SexpUnquote :: Sexp -> Sexp

pattern SexpDoc :: Doc -> Sexp -> Sexp