Language.Elsa.Types

Documentation

type Id = String

type SElsa = Elsa SourceSpan

type SDefn = Defn SourceSpan

type SExpr = Expr SourceSpan

type SEval = Eval SourceSpan

type SStep = Step SourceSpan

type SBind = Bind SourceSpan

type SEqn = Eqn SourceSpan

type SResult = Result SourceSpan

data Result a

Result

Constructors

OK (Bind a)

Partial (Bind a) a

Invalid (Bind a) a

Unbound (Bind a) Id a

DupDefn (Bind a) a

DupEval (Bind a) a

Instances

Functor Result

Defined in Language.Elsa.Types

Methods

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

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

Show a => Show (Result a)

Defined in Language.Elsa.Types

Methods

showsPrec :: Int -> Result a -> ShowS

show :: Result a -> String

showList :: [Result a] -> ShowS

Eq a => Eq (Result a)

Defined in Language.Elsa.Types

Methods

(==) :: Result a -> Result a -> Bool

(/=) :: Result a -> Result a -> Bool

failures :: [Result a] -> [Id]

successes :: [Result a] -> [Id]

resultError :: Located a => Result a -> Maybe UserError

mkErr :: Located a => a -> Text -> Maybe UserError

data Elsa a

Programs

Constructors

Elsa

Fields

• defns :: [Defn a]
• evals :: [Eval a]

Instances

Show a => Show (Elsa a)

Defined in Language.Elsa.Types

Methods

showsPrec :: Int -> Elsa a -> ShowS

show :: Elsa a -> String

showList :: [Elsa a] -> ShowS

Eq a => Eq (Elsa a)

Defined in Language.Elsa.Types

Methods

(==) :: Elsa a -> Elsa a -> Bool

(/=) :: Elsa a -> Elsa a -> Bool

data Defn a

Constructors

Defn !(Bind a) !(Expr a)

Instances

Show a => Show (Defn a)

Defined in Language.Elsa.Types

Methods

showsPrec :: Int -> Defn a -> ShowS

show :: Defn a -> String

showList :: [Defn a] -> ShowS

Eq (Defn a)

Defined in Language.Elsa.Types

Methods

(==) :: Defn a -> Defn a -> Bool

(/=) :: Defn a -> Defn a -> Bool

data Eval a

Constructors

Eval

Fields

• evName :: !(Bind a)
• evRoot :: !(Expr a)
• evSteps :: [Step a]

Instances

Show a => Show (Eval a)

Defined in Language.Elsa.Types

Methods

showsPrec :: Int -> Eval a -> ShowS

show :: Eval a -> String

showList :: [Eval a] -> ShowS

Eq a => Eq (Eval a)

Defined in Language.Elsa.Types

Methods

(==) :: Eval a -> Eval a -> Bool

(/=) :: Eval a -> Eval a -> Bool

data Step a

Constructors

Step !(Eqn a) !(Expr a)

Instances

Show a => Show (Step a)

Defined in Language.Elsa.Types

Methods

showsPrec :: Int -> Step a -> ShowS

show :: Step a -> String

showList :: [Step a] -> ShowS

Eq a => Eq (Step a)

Defined in Language.Elsa.Types

Methods

(==) :: Step a -> Step a -> Bool

(/=) :: Step a -> Step a -> Bool

data Eqn a

Constructors

AlphEq a

BetaEq a

UnBeta a

DefnEq a

TrnsEq a

UnTrEq a

NormEq a

Instances

Tagged Eqn

Defined in Language.Elsa.Types

Methods

tag :: Eqn a -> a

Show a => Show (Eqn a)

Defined in Language.Elsa.Types

Methods

showsPrec :: Int -> Eqn a -> ShowS

show :: Eqn a -> String

showList :: [Eqn a] -> ShowS

Eq a => Eq (Eqn a)

Defined in Language.Elsa.Types

Methods

(==) :: Eqn a -> Eqn a -> Bool

(/=) :: Eqn a -> Eqn a -> Bool

data Bind a

Constructors

Bind Id a

Instances

Functor Bind

Defined in Language.Elsa.Types

Methods

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

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

Tagged Bind

Defined in Language.Elsa.Types

Methods

tag :: Bind a -> a

Show a => Show (Bind a)

Defined in Language.Elsa.Types

Methods

showsPrec :: Int -> Bind a -> ShowS

show :: Bind a -> String

showList :: [Bind a] -> ShowS

Eq (Bind a)

Defined in Language.Elsa.Types

Methods

(==) :: Bind a -> Bind a -> Bool

(/=) :: Bind a -> Bind a -> Bool

data Expr a

Constructors

EVar Id a

ELam !(Bind a) !(Expr a) a

EApp !(Expr a) !(Expr a) a

Instances

Tagged Expr

Defined in Language.Elsa.Types

Methods

tag :: Expr a -> a

Show (Expr a)

Defined in Language.Elsa.Types

Methods

showsPrec :: Int -> Expr a -> ShowS

show :: Expr a -> String

showList :: [Expr a] -> ShowS

Eq (Expr a)

Defined in Language.Elsa.Types

Methods

(==) :: Expr a -> Expr a -> Bool

(/=) :: Expr a -> Expr a -> Bool

Hashable (Expr a)

Defined in Language.Elsa.Types

Methods

hashWithSalt :: Int -> Expr a -> Int

hash :: Expr a -> Int

data RExpr

Constructors

RVar Id

RLam Id RExpr

RApp RExpr RExpr

Instances

Generic RExpr

Defined in Language.Elsa.Types

Associated Types

type Rep RExpr :: Type -> Type

Methods

from :: RExpr -> Rep RExpr x

to :: Rep RExpr x -> RExpr

Eq RExpr

Defined in Language.Elsa.Types

Methods

(==) :: RExpr -> RExpr -> Bool

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

Hashable RExpr

Defined in Language.Elsa.Types

Methods

hashWithSalt :: Int -> RExpr -> Int

hash :: RExpr -> Int

type Rep RExpr

Defined in Language.Elsa.Types

type Rep RExpr = D1 ('MetaData "RExpr" "Language.Elsa.Types" "elsa-0.2.2.0-BOrvz8YROnj4v9sg8KlNKX" 'False) (C1 ('MetaCons "RVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id)) :+: (C1 ('MetaCons "RLam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RExpr)) :+: C1 ('MetaCons "RApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RExpr))))

rExpr :: Expr a -> RExpr

bkLam :: Expr a -> ([Bind a], Expr a)

mkLam :: Monoid a => [Bind a] -> Expr a -> Expr a

bindId :: Bind a -> Id

class Tagged t where

Tag Extraction

Methods

tag :: t a -> a

Instances

Tagged Bind

Defined in Language.Elsa.Types

Methods

tag :: Bind a -> a

Tagged Eqn

Defined in Language.Elsa.Types

Methods

tag :: Eqn a -> a

Tagged Expr

Defined in Language.Elsa.Types

Methods

tag :: Expr a -> a