Koneko.Data

>>> :set -XOverloadedStrings
>>> import Data.Maybe
>>> id = fromJust . ident; q = KQuot . id

>>> nil
nil
>>> false
#f
>>> true
#t
>>> int 42
42
>>> float (-1.23)
-1.23
>>> str "I like 猫s"
"I like 猫s"
>>> kwd "foo"
:foo
>>> pair (Kwd "answer") $ int 42
:answer 42 =>
>>> list [int 42, kwd "foo"]
( 42 :foo )
>>> KIdent $ id "foo"
foo
>>> q "foo"
'foo
>>> block [id "x", id "y"] [q "y", q "x"] Nothing
[ x y . 'y 'x ]

... TODO ...

Documentation

type Identifier = Text

type Module = ModuleLookupTable

type Evaluator = Context -> Stack -> IO Stack

type Args = [(Identifier, KValue)]

data KException

Constructors

ParseError !String

EvalUnexpected !String

unexpected value during eval

EvalScopelessBlock

block w/o scope during eval

ModuleNameError !String

ModuleLoadError !String

NameError !String

ident lookup failed

StackUnderflow

stack was empty

Expected !EExpected

MultiMatchFailed !String !String

UncomparableType !String

UncomparableTypes !String !String

UncallableType !String

UnapplicableType !String !String

UnknownField !String !String

EmptyList !String

IndexError !String !String

KeyError !String !String

RangeError !String

DivideByZero

InvalidRx !String

Fail !String

NotImplemented !String

Instances

Data KException

Defined in Koneko.Data

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KException -> c KException

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c KException

toConstr :: KException -> Constr

dataTypeOf :: KException -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c KException)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c KException)

gmapT :: (forall b. Data b => b -> b) -> KException -> KException

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KException -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KException -> r

gmapQ :: (forall d. Data d => d -> u) -> KException -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> KException -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> KException -> m KException

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KException -> m KException

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KException -> m KException

Show KException

Defined in Koneko.Data

Methods

showsPrec :: Int -> KException -> ShowS

show :: KException -> String

showList :: [KException] -> ShowS

Exception KException

Defined in Koneko.Data

Methods

toException :: KException -> SomeException

fromException :: SomeException -> Maybe KException

displayException :: KException -> String

stackExpected :: Either String KValue -> String -> KException

applyMissing :: Bool -> KException

expected :: String -> KException

unexpected :: String -> KException

exceptionInfo :: KException -> [String]

newtype Kwd

Constructors

Kwd

Fields

• unKwd :: Identifier

Instances

Eq Kwd

Defined in Koneko.Data

Methods

(==) :: Kwd -> Kwd -> Bool

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

Ord Kwd

Defined in Koneko.Data

Methods

compare :: Kwd -> Kwd -> Ordering

(<) :: Kwd -> Kwd -> Bool

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

(>) :: Kwd -> Kwd -> Bool

(>=) :: Kwd -> Kwd -> Bool

max :: Kwd -> Kwd -> Kwd

min :: Kwd -> Kwd -> Kwd

Show Kwd

Defined in Koneko.Data

Methods

showsPrec :: Int -> Kwd -> ShowS

show :: Kwd -> String

showList :: [Kwd] -> ShowS

Generic Kwd

Defined in Koneko.Data

Associated Types

type Rep Kwd :: Type -> Type

Methods

from :: Kwd -> Rep Kwd x

to :: Rep Kwd x -> Kwd

NFData Kwd

Defined in Koneko.Data

Methods

rnf :: Kwd -> ()

FromVal Kwd

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Kwd

ToVal Kwd

Defined in Koneko.Data

Methods

toVal :: Kwd -> KValue

type Rep Kwd

Defined in Koneko.Data

type Rep Kwd = D1 ('MetaData "Kwd" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'True) (C1 ('MetaCons "Kwd" 'PrefixI 'True) (S1 ('MetaSel ('Just "unKwd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier)))

data Ident

Instances

Eq Ident

Defined in Koneko.Data

Methods

(==) :: Ident -> Ident -> Bool

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

Ord Ident

Defined in Koneko.Data

Methods

compare :: Ident -> Ident -> Ordering

(<) :: Ident -> Ident -> Bool

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

(>) :: Ident -> Ident -> Bool

(>=) :: Ident -> Ident -> Bool

max :: Ident -> Ident -> Ident

min :: Ident -> Ident -> Ident

Show Ident

Defined in Koneko.Data

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

Generic Ident

Defined in Koneko.Data

Associated Types

type Rep Ident :: Type -> Type

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

NFData Ident

Defined in Koneko.Data

Methods

rnf :: Ident -> ()

type Rep Ident

Defined in Koneko.Data

type Rep Ident = D1 ('MetaData "Ident" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'True) (C1 ('MetaCons "Ident_" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIdent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier)))

unIdent :: Ident -> Identifier

ident :: Identifier -> Maybe Ident

data Pair

Constructors

Pair

Fields

• key :: Kwd
• value :: KValue

Instances

Eq Pair

Defined in Koneko.Data

Methods

(==) :: Pair -> Pair -> Bool

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

Ord Pair

Defined in Koneko.Data

Methods

compare :: Pair -> Pair -> Ordering

(<) :: Pair -> Pair -> Bool

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

(>) :: Pair -> Pair -> Bool

(>=) :: Pair -> Pair -> Bool

max :: Pair -> Pair -> Pair

min :: Pair -> Pair -> Pair

Show Pair

Defined in Koneko.Data

Methods

showsPrec :: Int -> Pair -> ShowS

show :: Pair -> String

showList :: [Pair] -> ShowS

Generic Pair

Defined in Koneko.Data

Associated Types

type Rep Pair :: Type -> Type

Methods

from :: Pair -> Rep Pair x

to :: Rep Pair x -> Pair

NFData Pair

Defined in Koneko.Data

Methods

rnf :: Pair -> ()

FromVal Pair

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Pair

ToVal Pair

Defined in Koneko.Data

Methods

toVal :: Pair -> KValue

ToVal [Pair]

Defined in Koneko.Data

Methods

toVal :: [Pair] -> KValue

type Rep Pair

Defined in Koneko.Data

type Rep Pair = D1 ('MetaData "Pair" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'False) (C1 ('MetaCons "Pair" 'PrefixI 'True) (S1 ('MetaSel ('Just "key") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kwd) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KValue)))

newtype List

Constructors

List

Fields

• unList :: [KValue]

Instances

Eq List

Defined in Koneko.Data

Methods

(==) :: List -> List -> Bool

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

Ord List

Defined in Koneko.Data

Methods

compare :: List -> List -> Ordering

(<) :: List -> List -> Bool

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

(>) :: List -> List -> Bool

(>=) :: List -> List -> Bool

max :: List -> List -> List

min :: List -> List -> List

Show List

Defined in Koneko.Data

Methods

showsPrec :: Int -> List -> ShowS

show :: List -> String

showList :: [List] -> ShowS

Generic List

Defined in Koneko.Data

Associated Types

type Rep List :: Type -> Type

Methods

from :: List -> Rep List x

to :: Rep List x -> List

NFData List

Defined in Koneko.Data

Methods

rnf :: List -> ()

type Rep List

Defined in Koneko.Data

type Rep List = D1 ('MetaData "List" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'True) (C1 ('MetaCons "List" 'PrefixI 'True) (S1 ('MetaSel ('Just "unList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [KValue])))

newtype Dict

Constructors

Dict

Fields

• unDict :: DictTable

Instances

Eq Dict

Defined in Koneko.Data

Methods

(==) :: Dict -> Dict -> Bool

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

Ord Dict

Defined in Koneko.Data

Methods

compare :: Dict -> Dict -> Ordering

(<) :: Dict -> Dict -> Bool

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

(>) :: Dict -> Dict -> Bool

(>=) :: Dict -> Dict -> Bool

max :: Dict -> Dict -> Dict

min :: Dict -> Dict -> Dict

Show Dict

Defined in Koneko.Data

Methods

showsPrec :: Int -> Dict -> ShowS

show :: Dict -> String

showList :: [Dict] -> ShowS

Generic Dict

Defined in Koneko.Data

Associated Types

type Rep Dict :: Type -> Type

Methods

from :: Dict -> Rep Dict x

to :: Rep Dict x -> Dict

NFData Dict

Defined in Koneko.Data

Methods

rnf :: Dict -> ()

FromVal Dict

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Dict

ToVal Dict

Defined in Koneko.Data

Methods

toVal :: Dict -> KValue

type Rep Dict

Defined in Koneko.Data

type Rep Dict

data Block

Constructors

Block

Fields

• blkParams :: [Ident]
• blkCode :: [KValue]
• blkScope :: Maybe Scope

Instances

Eq Block

Defined in Koneko.Data

Methods

(==) :: Block -> Block -> Bool

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

Ord Block

Defined in Koneko.Data

Methods

compare :: Block -> Block -> Ordering

(<) :: Block -> Block -> Bool

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

(>) :: Block -> Block -> Bool

(>=) :: Block -> Block -> Bool

max :: Block -> Block -> Block

min :: Block -> Block -> Block

Show Block

Defined in Koneko.Data

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Generic Block

Defined in Koneko.Data

Associated Types

type Rep Block :: Type -> Type

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

NFData Block

Defined in Koneko.Data

Methods

rnf :: Block -> ()

FromVal Block

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Block

ToVal Block

Defined in Koneko.Data

Methods

toVal :: Block -> KValue

type Rep Block

Defined in Koneko.Data

type Rep Block = D1 ('MetaData "Block" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'False) (C1 ('MetaCons "Block" 'PrefixI 'True) (S1 ('MetaSel ('Just "blkParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Ident]) :*: (S1 ('MetaSel ('Just "blkCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [KValue]) :*: S1 ('MetaSel ('Just "blkScope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Scope)))))

data Builtin

Constructors

Builtin

Fields

• biPrim :: Bool
• biName :: Identifier
• biRun :: Evaluator

Instances

Eq Builtin

Defined in Koneko.Data

Methods

(==) :: Builtin -> Builtin -> Bool

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

Ord Builtin

Defined in Koneko.Data

Methods

compare :: Builtin -> Builtin -> Ordering

(<) :: Builtin -> Builtin -> Bool

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

(>) :: Builtin -> Builtin -> Bool

(>=) :: Builtin -> Builtin -> Bool

max :: Builtin -> Builtin -> Builtin

min :: Builtin -> Builtin -> Builtin

Show Builtin

Defined in Koneko.Data

Methods

showsPrec :: Int -> Builtin -> ShowS

show :: Builtin -> String

showList :: [Builtin] -> ShowS

NFData Builtin

Defined in Koneko.Data

Methods

rnf :: Builtin -> ()

ToVal Builtin

Defined in Koneko.Data

Methods

toVal :: Builtin -> KValue

data Multi

Constructors

Multi

Fields

• mltArity :: Int
• mltName :: Identifier
• mltTable :: MultiTable

Instances

Eq Multi

Defined in Koneko.Data

Methods

(==) :: Multi -> Multi -> Bool

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

Ord Multi

Defined in Koneko.Data

Methods

compare :: Multi -> Multi -> Ordering

(<) :: Multi -> Multi -> Bool

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

(>) :: Multi -> Multi -> Bool

(>=) :: Multi -> Multi -> Bool

max :: Multi -> Multi -> Multi

min :: Multi -> Multi -> Multi

Show Multi

Defined in Koneko.Data

Methods

showsPrec :: Int -> Multi -> ShowS

show :: Multi -> String

showList :: [Multi] -> ShowS

NFData Multi

Defined in Koneko.Data

Methods

rnf :: Multi -> ()

data RecordT

Constructors

RecordT

Fields

• recName :: Identifier
• recFields :: [Identifier]

Instances

Eq RecordT

Defined in Koneko.Data

Methods

(==) :: RecordT -> RecordT -> Bool

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

Ord RecordT

Defined in Koneko.Data

Methods

compare :: RecordT -> RecordT -> Ordering

(<) :: RecordT -> RecordT -> Bool

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

(>) :: RecordT -> RecordT -> Bool

(>=) :: RecordT -> RecordT -> Bool

max :: RecordT -> RecordT -> RecordT

min :: RecordT -> RecordT -> RecordT

Show RecordT

Defined in Koneko.Data

Methods

showsPrec :: Int -> RecordT -> ShowS

show :: RecordT -> String

showList :: [RecordT] -> ShowS

Generic RecordT

Defined in Koneko.Data

Associated Types

type Rep RecordT :: Type -> Type

Methods

from :: RecordT -> Rep RecordT x

to :: Rep RecordT x -> RecordT

NFData RecordT

Defined in Koneko.Data

Methods

rnf :: RecordT -> ()

FromVal RecordT

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException RecordT

type Rep RecordT

Defined in Koneko.Data

type Rep RecordT = D1 ('MetaData "RecordT" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'False) (C1 ('MetaCons "RecordT" 'PrefixI 'True) (S1 ('MetaSel ('Just "recName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Identifier) :*: S1 ('MetaSel ('Just "recFields") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Identifier])))

data Record

Instances

Eq Record

Defined in Koneko.Data

Methods

(==) :: Record -> Record -> Bool

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

Ord Record

Defined in Koneko.Data

Methods

compare :: Record -> Record -> Ordering

(<) :: Record -> Record -> Bool

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

(>) :: Record -> Record -> Bool

(>=) :: Record -> Record -> Bool

max :: Record -> Record -> Record

min :: Record -> Record -> Record

Show Record

Defined in Koneko.Data

Methods

showsPrec :: Int -> Record -> ShowS

show :: Record -> String

showList :: [Record] -> ShowS

Generic Record

Defined in Koneko.Data

Associated Types

type Rep Record :: Type -> Type

Methods

from :: Record -> Rep Record x

to :: Rep Record x -> Record

NFData Record

Defined in Koneko.Data

Methods

rnf :: Record -> ()

FromVal Record

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Record

type Rep Record

Defined in Koneko.Data

type Rep Record = D1 ('MetaData "Record" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'False) (C1 ('MetaCons "Record" 'PrefixI 'True) (S1 ('MetaSel ('Just "recType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RecordT) :*: S1 ('MetaSel ('Just "recValues") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [KValue])))

recType :: Record -> RecordT

recValues :: Record -> [KValue]

record :: RecordT -> [KValue] -> Either KException Record

data Thunk

Instances

Eq Thunk

Defined in Koneko.Data

Methods

(==) :: Thunk -> Thunk -> Bool

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

Ord Thunk

Defined in Koneko.Data

Methods

compare :: Thunk -> Thunk -> Ordering

(<) :: Thunk -> Thunk -> Bool

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

(>) :: Thunk -> Thunk -> Bool

(>=) :: Thunk -> Thunk -> Bool

max :: Thunk -> Thunk -> Thunk

min :: Thunk -> Thunk -> Thunk

NFData Thunk

Defined in Koneko.Data

Methods

rnf :: Thunk -> ()

runThunk :: Thunk -> IO KValue

thunk :: IO KValue -> IO Thunk

data Scope

Constructors

Scope

Fields

• modName :: Identifier
• table :: ScopeLookupTable

Instances

NFData Scope

Defined in Koneko.Data

Methods

rnf :: Scope -> ()

data Context

ctxScope :: Context -> Scope

data KPrim

Constructors

KNil

KBool Bool

KInt Integer

KFloat Double

KStr Text

KKwd Kwd

Instances

Eq KPrim

Defined in Koneko.Data

Methods

(==) :: KPrim -> KPrim -> Bool

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

Ord KPrim

Defined in Koneko.Data

Methods

compare :: KPrim -> KPrim -> Ordering

(<) :: KPrim -> KPrim -> Bool

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

(>) :: KPrim -> KPrim -> Bool

(>=) :: KPrim -> KPrim -> Bool

max :: KPrim -> KPrim -> KPrim

min :: KPrim -> KPrim -> KPrim

Show KPrim

Defined in Koneko.Data

Methods

showsPrec :: Int -> KPrim -> ShowS

show :: KPrim -> String

showList :: [KPrim] -> ShowS

Generic KPrim

Defined in Koneko.Data

Associated Types

type Rep KPrim :: Type -> Type

Methods

from :: KPrim -> Rep KPrim x

to :: Rep KPrim x -> KPrim

NFData KPrim

Defined in Koneko.Data

Methods

rnf :: KPrim -> ()

Cmp KPrim

Defined in Koneko.Data

Methods

cmp :: KPrim -> KPrim -> Ordering

type Rep KPrim

Defined in Koneko.Data

type Rep KPrim = D1 ('MetaData "KPrim" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'False) ((C1 ('MetaCons "KNil" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "KInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))) :+: (C1 ('MetaCons "KFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: (C1 ('MetaCons "KStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "KKwd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kwd)))))

data KValue

Constructors

KPrim KPrim

KPair Pair

KList List

KDict Dict

KIdent Ident

KQuot Ident

KBlock Block

KBuiltin Builtin

KMulti Multi

KRecordT RecordT

KRecord Record

KThunk Thunk

Instances

Eq KValue

Defined in Koneko.Data

Methods

(==) :: KValue -> KValue -> Bool

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

Ord KValue

Defined in Koneko.Data

Methods

compare :: KValue -> KValue -> Ordering

(<) :: KValue -> KValue -> Bool

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

(>) :: KValue -> KValue -> Bool

(>=) :: KValue -> KValue -> Bool

max :: KValue -> KValue -> KValue

min :: KValue -> KValue -> KValue

Show KValue

Defined in Koneko.Data

Methods

showsPrec :: Int -> KValue -> ShowS

show :: KValue -> String

showList :: [KValue] -> ShowS

Generic KValue

Defined in Koneko.Data

Associated Types

type Rep KValue :: Type -> Type

Methods

from :: KValue -> Rep KValue x

to :: Rep KValue x -> KValue

NFData KValue

Defined in Koneko.Data

Methods

rnf :: KValue -> ()

FromVal KValue

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException KValue

ToVal KValue

Defined in Koneko.Data

Methods

toVal :: KValue -> KValue

Cmp KValue

Defined in Koneko.Data

Methods

cmp :: KValue -> KValue -> Ordering

FromVal [KValue]

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException [KValue]

ToVal [KValue]

Defined in Koneko.Data

Methods

toVal :: [KValue] -> KValue

Cmp [KValue]

Defined in Koneko.Data

Methods

cmp :: [KValue] -> [KValue] -> Ordering

type Rep KValue

Defined in Koneko.Data

type Rep KValue = D1 ('MetaData "KValue" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'False) (((C1 ('MetaCons "KPrim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 KPrim)) :+: (C1 ('MetaCons "KPair" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pair)) :+: C1 ('MetaCons "KList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 List)))) :+: (C1 ('MetaCons "KDict" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dict)) :+: (C1 ('MetaCons "KIdent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "KQuot" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident))))) :+: ((C1 ('MetaCons "KBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Block)) :+: (C1 ('MetaCons "KBuiltin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Builtin)) :+: C1 ('MetaCons "KMulti" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Multi)))) :+: (C1 ('MetaCons "KRecordT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RecordT)) :+: (C1 ('MetaCons "KRecord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Record)) :+: C1 ('MetaCons "KThunk" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Thunk))))))

data KType

Constructors

TNil

TBool

TInt

TFloat

TStr

TKwd

TPair

TList

TDict

TIdent

TQuot

TBlock

TBuiltin

TMulti

TRecordT

TRecord

TThunk

Instances

Eq KType

Defined in Koneko.Data

Methods

(==) :: KType -> KType -> Bool

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

Ord KType

Defined in Koneko.Data

Methods

compare :: KType -> KType -> Ordering

(<) :: KType -> KType -> Bool

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

(>) :: KType -> KType -> Bool

(>=) :: KType -> KType -> Bool

max :: KType -> KType -> KType

min :: KType -> KType -> KType

Show KType

Defined in Koneko.Data

Methods

showsPrec :: Int -> KType -> ShowS

show :: KType -> String

showList :: [KType] -> ShowS

Generic KType

Defined in Koneko.Data

Associated Types

type Rep KType :: Type -> Type

Methods

from :: KType -> Rep KType x

to :: Rep KType x -> KType

NFData KType

Defined in Koneko.Data

Methods

rnf :: KType -> ()

type Rep KType

Defined in Koneko.Data

type Rep KType = D1 ('MetaData "KType" "Koneko.Data" "koneko-0.0.2-83yCJUTvCgkNrPx5HFN9s" 'False) ((((C1 ('MetaCons "TNil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TBool" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TInt" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TFloat" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TStr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TKwd" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TPair" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TList" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "TDict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TIdent" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TQuot" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TBlock" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TBuiltin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TMulti" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TRecordT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TRecord" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TThunk" 'PrefixI 'False) (U1 :: Type -> Type))))))

type Stack = [KValue]

freeVars :: [KValue] -> HashSet Identifier

class Cmp a where

Methods

cmp :: a -> a -> Ordering

Instances

Cmp KValue

Defined in Koneko.Data

Methods

cmp :: KValue -> KValue -> Ordering

Cmp KPrim

Defined in Koneko.Data

Methods

cmp :: KPrim -> KPrim -> Ordering

Cmp [KValue]

Defined in Koneko.Data

Methods

cmp :: [KValue] -> [KValue] -> Ordering

escapeFrom :: [Text]

escapeTo :: [Text]

class ToVal a

Minimal complete definition

toVal

Instances

ToVal Bool

Defined in Koneko.Data

Methods

toVal :: Bool -> KValue

ToVal Double

Defined in Koneko.Data

Methods

toVal :: Double -> KValue

ToVal Integer

Defined in Koneko.Data

Methods

toVal :: Integer -> KValue

ToVal ()

Defined in Koneko.Data

Methods

toVal :: () -> KValue

ToVal Text

Defined in Koneko.Data

Methods

toVal :: Text -> KValue

ToVal KValue

Defined in Koneko.Data

Methods

toVal :: KValue -> KValue

ToVal Builtin

Defined in Koneko.Data

Methods

toVal :: Builtin -> KValue

ToVal Block

Defined in Koneko.Data

Methods

toVal :: Block -> KValue

ToVal Dict

Defined in Koneko.Data

Methods

toVal :: Dict -> KValue

ToVal Pair

Defined in Koneko.Data

Methods

toVal :: Pair -> KValue

ToVal Kwd

Defined in Koneko.Data

Methods

toVal :: Kwd -> KValue

ToVal [KValue]

Defined in Koneko.Data

Methods

toVal :: [KValue] -> KValue

ToVal [Pair]

Defined in Koneko.Data

Methods

toVal :: [Pair] -> KValue

ToVal a => ToVal (Maybe a)

Defined in Koneko.Data

Methods

toVal :: Maybe a -> KValue

ToVal a => ToVal (Either e a)

Defined in Koneko.Data

Methods

toVal :: Either e a -> KValue

toVal :: ToVal a => a -> KValue

class FromVal a

Minimal complete definition

fromVal

Instances

FromVal Bool

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Bool

FromVal Double

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Double

FromVal Integer

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Integer

FromVal ()

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException ()

FromVal Text

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Text

FromVal KValue

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException KValue

FromVal Record

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Record

FromVal RecordT

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException RecordT

FromVal Block

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Block

FromVal Dict

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Dict

FromVal Pair

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Pair

FromVal Kwd

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException Kwd

FromVal [KValue]

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException [KValue]

FromVal a => FromVal (Maybe a)

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException (Maybe a)

(FromVal a, FromVal b) => FromVal (Either a b)

Defined in Koneko.Data

Methods

fromVal :: KValue -> Either KException (Either a b)

fromVal :: FromVal a => KValue -> Either KException a

toVals :: ToVal a => [a] -> [KValue]

fromVals :: FromVal a => [KValue] -> Either KException [a]

maybeToVal :: ToVal a => KValue -> Maybe a -> KValue

eitherToVal :: ToVal a => KValue -> Either e a -> KValue

toJSON :: KValue -> Either KException Text

fromJSON :: Text -> Either KException KValue

emptyStack :: Stack

push' :: Stack -> KValue -> Stack

push :: ToVal a => Stack -> a -> Stack

rpush :: ToVal a => Stack -> [a] -> IO Stack

rpush1 :: ToVal a => Stack -> a -> IO Stack

pop_ :: Stack -> Either KException (KValue, Stack)

pop :: FromVal a => Stack -> Either KException (a, Stack)

pop2 :: (FromVal a, FromVal b) => Stack -> Either KException ((a, b), Stack)

NB: returns popped items in "reverse" order

>>> s = emptyStack `push` 1 `push` 2
>>> fst <$> pop' s :: IO Integer
2
>>> fst <$> pop2' s :: IO (Integer, Integer)
(1,2)

stack: ... 1 2 <- top

pop3 :: (FromVal a, FromVal b, FromVal c) => Stack -> Either KException ((a, b, c), Stack)

NB: returns popped items in "reverse" order

>>> s = emptyStack `push` 1 `push` 2 `push` 3
>>> fst <$> pop3' s :: IO (Integer, Integer, Integer)
(1,2,3)

stack: ... 1 2 3 <- top

pop4 :: (FromVal a, FromVal b, FromVal c, FromVal d) => Stack -> Either KException ((a, b, c, d), Stack)

pop_' :: Stack -> IO (KValue, Stack)

pop' :: FromVal a => Stack -> IO (a, Stack)

pop2' :: (FromVal a, FromVal b) => Stack -> IO ((a, b), Stack)

pop3' :: (FromVal a, FromVal b, FromVal c) => Stack -> IO ((a, b, c), Stack)

pop4' :: (FromVal a, FromVal b, FromVal c, FromVal d) => Stack -> IO ((a, b, c, d), Stack)

popN' :: FromVal a => Int -> Stack -> IO ([a], Stack)

pop1push :: (FromVal a, ToVal b) => (a -> [b]) -> Evaluator

pop2push :: (FromVal a, FromVal b, ToVal c) => (a -> b -> [c]) -> Evaluator

pop1push1 :: (FromVal a, ToVal b) => (a -> b) -> Evaluator

pop2push1 :: (FromVal a, FromVal b, ToVal c) => (a -> b -> c) -> Evaluator

primModule :: Identifier

bltnModule :: Identifier

prldModule :: Identifier

mainModule :: Identifier

initMainContext :: IO Context

initMain :: Context -> IO ()

initModule :: Context -> Identifier -> IO ()

forkContext :: Identifier -> Context -> IO Context

forkScope :: Args -> Context -> Block -> IO Context

defineIn :: Context -> Identifier -> KValue -> IO ()

defineIn' :: Context -> Identifier -> Identifier -> KValue -> IO ()

importIn :: Context -> Identifier -> IO ()

importFromIn :: Context -> Identifier -> [Identifier] -> IO ()

lookup :: Context -> Identifier -> IO (Maybe KValue)

lookupModule' :: Context -> Identifier -> Identifier -> IO KValue

moduleKeys :: Context -> Identifier -> IO [Identifier]

moduleNames :: Context -> IO [Identifier]

typeNames :: [Identifier]

typeOfPrim :: KPrim -> KType

typeOf :: KValue -> KType

typeToKwd :: KType -> Kwd

typeToStr :: IsString a => KType -> a

typeAsStr :: IsString a => KValue -> a

isNil :: KValue -> Bool

isBool :: KValue -> Bool

isInt :: KValue -> Bool

isFloat :: KValue -> Bool

isStr :: KValue -> Bool

isKwd :: KValue -> Bool

isPair :: KValue -> Bool

isList :: KValue -> Bool

isDict :: KValue -> Bool

isIdent :: KValue -> Bool

isQuot :: KValue -> Bool

isBlock :: KValue -> Bool

isBuiltin :: KValue -> Bool

isMulti :: KValue -> Bool

isRecordT :: KValue -> Bool

isRecord :: KValue -> Bool

isThunk :: KValue -> Bool

isCallable :: KValue -> Bool

isFunction :: KValue -> Bool

nil :: KValue

false :: KValue

true :: KValue

bool :: Bool -> KValue

int :: Integer -> KValue

float :: Double -> KValue

str :: Text -> KValue

kwd :: Text -> KValue

pair :: ToVal a => Kwd -> a -> KValue

list :: ToVal a => [a] -> KValue

dict :: [Pair] -> KValue

block :: [Ident] -> [KValue] -> Maybe Scope -> KValue

dictLookup :: String -> Dict -> [Identifier] -> Either KException [KValue]

mkPrim :: Identifier -> Evaluator -> Builtin

mkBltn :: Identifier -> Evaluator -> Builtin

defPrim :: Context -> Builtin -> IO ()

defMulti :: Context -> Identifier -> [Identifier] -> Block -> IO ()

truthy :: KValue -> Bool

retOrThrow :: Either KException a -> IO a

recordTypeSig :: RecordT -> Identifier

underscored :: Text -> Text

digitParams :: Block -> [Ident]

unKwds :: [KValue] -> IO [Identifier]

recordToPairs :: Record -> [Pair]