Safe Haskell	Safe-Inferred
Language	Haskell2010

Kanren.Data.Scheme

Documentation

type Symbol = Atomic String Source #

type Env = [(Symbol, Value)] Source #

data SExpr Source #

Constructors

SSymbol Symbol
SNil
SCons SExpr SExpr

Instances

Instances details

IsString SExpr Source #
Instance details Defined in Kanren.Data.Scheme Methods fromString :: String -> SExpr #
Generic SExpr Source #
Instance details Defined in Kanren.Data.Scheme Associated Types type Rep SExpr :: Type -> Type # Methods from :: SExpr -> Rep SExpr x # to :: Rep SExpr x -> SExpr #
IsList SExpr Source #
Instance details Defined in Kanren.Data.Scheme Associated Types type Item SExpr # Methods fromList :: [Item SExpr] -> SExpr # fromListN :: Int -> [Item SExpr] -> SExpr # toList :: SExpr -> [Item SExpr] #
Show SExpr Source #
Instance details Defined in Kanren.Data.Scheme Methods showsPrec :: Int -> SExpr -> ShowS # show :: SExpr -> String # showList :: [SExpr] -> ShowS #
NFData SExpr Source #
Instance details Defined in Kanren.Data.Scheme Methods rnf :: SExpr -> () #
Eq SExpr Source #
Instance details Defined in Kanren.Data.Scheme Methods (==) :: SExpr -> SExpr -> Bool # (/=) :: SExpr -> SExpr -> Bool #
Logical SExpr Source #
Instance details Defined in Kanren.Data.Scheme Associated Types type Logic SExpr = (r :: Type) Source # Methods unify :: Logic SExpr -> Logic SExpr -> State -> Maybe State Source # walk :: State -> Logic SExpr -> Logic SExpr Source # occursCheck :: VarId b -> Logic SExpr -> State -> Bool Source # inject :: SExpr -> Logic SExpr Source # extract :: Logic SExpr -> Maybe SExpr Source #
Normalizable SExpr Source #
Instance details Defined in Kanren.Data.Scheme Methods normalize :: (forall i. VarId i -> Normalizer (VarId i)) -> Logic SExpr -> Normalizer (Logic SExpr) Source #
type Rep SExpr Source #
Instance details Defined in Kanren.Data.Scheme type Rep SExpr = D1 ('MetaData "SExpr" "Kanren.Data.Scheme" "typedKanren-0.1.0.0-DCPxkt07imEEe1U3d5R120" 'False) (C1 ('MetaCons "SSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol)) :+: (C1 ('MetaCons "SNil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SCons" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SExpr))))
type Item SExpr Source #
Instance details Defined in Kanren.Data.Scheme type Item SExpr = SExpr
type Logic SExpr Source #
Instance details Defined in Kanren.Data.Scheme type Logic SExpr = LogicSExpr

data LogicSExpr Source #

Constructors

LogicSSymbol (Term Symbol)
LogicSNil
LogicSCons (Term SExpr) (Term SExpr)

Instances

Instances details

Generic LogicSExpr Source #
Instance details Defined in Kanren.Data.Scheme Associated Types type Rep LogicSExpr :: Type -> Type # Methods from :: LogicSExpr -> Rep LogicSExpr x # to :: Rep LogicSExpr x -> LogicSExpr #
Show LogicSExpr Source #
Instance details Defined in Kanren.Data.Scheme Methods showsPrec :: Int -> LogicSExpr -> ShowS # show :: LogicSExpr -> String # showList :: [LogicSExpr] -> ShowS #
NFData LogicSExpr Source #
Instance details Defined in Kanren.Data.Scheme Methods rnf :: LogicSExpr -> () #
type Rep LogicSExpr Source #
Instance details Defined in Kanren.Data.Scheme type Rep LogicSExpr = D1 ('MetaData "LogicSExpr" "Kanren.Data.Scheme" "typedKanren-0.1.0.0-DCPxkt07imEEe1U3d5R120" 'False) (C1 ('MetaCons "LogicSSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term Symbol))) :+: (C1 ('MetaCons "LogicSNil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LogicSCons" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term SExpr)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term SExpr)))))

data Value Source #

Constructors

SExpr SExpr
Closure Symbol SExpr Env

Instances

Instances details

Generic Value Source #
Instance details Defined in Kanren.Data.Scheme Associated Types type Rep Value :: Type -> Type # Methods from :: Value -> Rep Value x # to :: Rep Value x -> Value #
Show Value Source #
Instance details Defined in Kanren.Data.Scheme Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
NFData Value Source #
Instance details Defined in Kanren.Data.Scheme Methods rnf :: Value -> () #
Eq Value Source #
Instance details Defined in Kanren.Data.Scheme Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Logical Value Source #
Instance details Defined in Kanren.Data.Scheme Associated Types type Logic Value = (r :: Type) Source # Methods unify :: Logic Value -> Logic Value -> State -> Maybe State Source # walk :: State -> Logic Value -> Logic Value Source # occursCheck :: VarId b -> Logic Value -> State -> Bool Source # inject :: Value -> Logic Value Source # extract :: Logic Value -> Maybe Value Source #
type Rep Value Source #
Instance details Defined in Kanren.Data.Scheme type Rep Value = D1 ('MetaData "Value" "Kanren.Data.Scheme" "typedKanren-0.1.0.0-DCPxkt07imEEe1U3d5R120" 'False) (C1 ('MetaCons "SExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SExpr)) :+: C1 ('MetaCons "Closure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Symbol) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SExpr) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Env))))
type Logic Value Source #
Instance details Defined in Kanren.Data.Scheme type Logic Value = LogicValue

data LogicValue Source #

Constructors

LogicSExpr (Term SExpr)
LogicClosure (Term Symbol) (Term SExpr) (Term Env)

Instances

Instances details

Generic LogicValue Source #
Instance details Defined in Kanren.Data.Scheme Associated Types type Rep LogicValue :: Type -> Type # Methods from :: LogicValue -> Rep LogicValue x # to :: Rep LogicValue x -> LogicValue #
Show LogicValue Source #
Instance details Defined in Kanren.Data.Scheme Methods showsPrec :: Int -> LogicValue -> ShowS # show :: LogicValue -> String # showList :: [LogicValue] -> ShowS #
type Rep LogicValue Source #
Instance details Defined in Kanren.Data.Scheme type Rep LogicValue = D1 ('MetaData "LogicValue" "Kanren.Data.Scheme" "typedKanren-0.1.0.0-DCPxkt07imEEe1U3d5R120" 'False) (C1 ('MetaCons "LogicSExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term SExpr))) :+: C1 ('MetaCons "LogicClosure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term Symbol)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term SExpr)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term Env)))))

evalo :: Term SExpr -> Term Env -> Term Value -> Goal () Source #