Safe Haskell	Safe-Inferred
Language	Haskell2010

Naturals

Contents

Orphan instances

Documentation

debug :: Bool Source #

debugTrace :: String -> a -> a Source #

data NaturalType Source #

Constructors

ZeroTypeN
PairTypeN NaturalType NaturalType
ArrTypeN FragIndex
ChurchType
UnknownN

Instances

Instances details

Show NaturalType Source #
Instance details Defined in Naturals Methods showsPrec :: Int -> NaturalType -> ShowS Source # show :: NaturalType -> String Source # showList :: [NaturalType] -> ShowS Source #
Eq NaturalType Source #
Instance details Defined in Naturals Methods (==) :: NaturalType -> NaturalType -> Bool Source # (/=) :: NaturalType -> NaturalType -> Bool Source #
Ord NaturalType Source #
Instance details Defined in Naturals Methods compare :: NaturalType -> NaturalType -> Ordering Source # (<) :: NaturalType -> NaturalType -> Bool Source # (<=) :: NaturalType -> NaturalType -> Bool Source # (>) :: NaturalType -> NaturalType -> Bool Source # (>=) :: NaturalType -> NaturalType -> Bool Source # max :: NaturalType -> NaturalType -> NaturalType Source # min :: NaturalType -> NaturalType -> NaturalType Source #

newtype TypeIndex Source #

Constructors

TypeIndex
Fields unTypeIndex :: Int

Instances

Instances details

Enum TypeIndex Source #
Instance details Defined in Naturals Methods succ :: TypeIndex -> TypeIndex Source # pred :: TypeIndex -> TypeIndex Source # toEnum :: Int -> TypeIndex Source # fromEnum :: TypeIndex -> Int Source # enumFrom :: TypeIndex -> [TypeIndex] Source # enumFromThen :: TypeIndex -> TypeIndex -> [TypeIndex] Source # enumFromTo :: TypeIndex -> TypeIndex -> [TypeIndex] Source # enumFromThenTo :: TypeIndex -> TypeIndex -> TypeIndex -> [TypeIndex] Source #
Show TypeIndex Source #
Instance details Defined in Naturals Methods showsPrec :: Int -> TypeIndex -> ShowS Source # show :: TypeIndex -> String Source # showList :: [TypeIndex] -> ShowS Source #
Eq TypeIndex Source #
Instance details Defined in Naturals Methods (==) :: TypeIndex -> TypeIndex -> Bool Source # (/=) :: TypeIndex -> TypeIndex -> Bool Source #
Ord TypeIndex Source #
Instance details Defined in Naturals Methods compare :: TypeIndex -> TypeIndex -> Ordering Source # (<) :: TypeIndex -> TypeIndex -> Bool Source # (<=) :: TypeIndex -> TypeIndex -> Bool Source # (>) :: TypeIndex -> TypeIndex -> Bool Source # (>=) :: TypeIndex -> TypeIndex -> Bool Source # max :: TypeIndex -> TypeIndex -> TypeIndex Source # min :: TypeIndex -> TypeIndex -> TypeIndex Source #

data ExprFrag Source #

Constructors

FZero
FPair ExprFrag ExprFrag
FEnv
FSetEnv ExprFrag
FDefer FragIndex
FGate ExprFrag ExprFrag
FLeft ExprFrag
FRight ExprFrag
FTrace
FApp ExprFrag ExprFrag
FNum Int64
FToNum

Instances

Instances details

Show ExprFrag Source #
Instance details Defined in Naturals Methods showsPrec :: Int -> ExprFrag -> ShowS Source # show :: ExprFrag -> String Source # showList :: [ExprFrag] -> ShowS Source #
Eq ExprFrag Source #
Instance details Defined in Naturals Methods (==) :: ExprFrag -> ExprFrag -> Bool Source # (/=) :: ExprFrag -> ExprFrag -> Bool Source #
Ord ExprFrag Source #
Instance details Defined in Naturals Methods compare :: ExprFrag -> ExprFrag -> Ordering Source # (<) :: ExprFrag -> ExprFrag -> Bool Source # (<=) :: ExprFrag -> ExprFrag -> Bool Source # (>) :: ExprFrag -> ExprFrag -> Bool Source # (>=) :: ExprFrag -> ExprFrag -> Bool Source # max :: ExprFrag -> ExprFrag -> ExprFrag Source # min :: ExprFrag -> ExprFrag -> ExprFrag Source #

traceSet :: (Foldable t, Show a) => t FragIndex -> (a -> a) -> a -> a Source #

data NExpr Source #

Instances

Instances details

Generic NExpr Source #
Instance details Defined in Naturals Associated Types type Rep NExpr :: Type -> Type Source # Methods from :: NExpr -> Rep NExpr x Source # to :: Rep NExpr x -> NExpr Source #
Show NExpr Source #
Instance details Defined in Naturals Methods showsPrec :: Int -> NExpr -> ShowS Source # show :: NExpr -> String Source # showList :: [NExpr] -> ShowS Source #
Binary NExpr Source #
Instance details Defined in Naturals Methods put :: NExpr -> Put Source # get :: Get NExpr Source # putList :: [NExpr] -> Put Source #
NFData NExpr Source #
Instance details Defined in Naturals Methods rnf :: NExpr -> () Source #
Eq NExpr Source #
Instance details Defined in Naturals Methods (==) :: NExpr -> NExpr -> Bool Source # (/=) :: NExpr -> NExpr -> Bool Source #
Ord NExpr Source #
Instance details Defined in Naturals Methods compare :: NExpr -> NExpr -> Ordering Source # (<) :: NExpr -> NExpr -> Bool Source # (<=) :: NExpr -> NExpr -> Bool Source # (>) :: NExpr -> NExpr -> Bool Source # (>=) :: NExpr -> NExpr -> Bool Source # max :: NExpr -> NExpr -> NExpr Source # min :: NExpr -> NExpr -> NExpr Source #
type Rep NExpr Source #
Instance details Defined in Naturals type Rep NExpr = D1 ('MetaData "NExpr" "Naturals" "telomare-0.1.0.0-inplace" 'False) ((((C1 ('MetaCons "NZero" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NPair" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr))) :+: (C1 ('MetaCons "NEnv" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NSetEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr)))) :+: ((C1 ('MetaCons "NDefer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FragIndex)) :+: C1 ('MetaCons "NGate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr))) :+: (C1 ('MetaCons "NLeft" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr)) :+: (C1 ('MetaCons "NRight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr)) :+: C1 ('MetaCons "NTrace" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int64)) :+: C1 ('MetaCons "NAdd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr))) :+: (C1 ('MetaCons "NMult" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr)) :+: C1 ('MetaCons "NPow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr)))) :+: ((C1 ('MetaCons "NApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr)) :+: C1 ('MetaCons "NOldDefer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr))) :+: (C1 ('MetaCons "NToChurch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr)) :+: (C1 ('MetaCons "NTwiddle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NExpr)) :+: C1 ('MetaCons "NToNum" 'PrefixI 'False) (U1 :: Type -> Type))))))

pattern NLamNum :: Int64 -> NExpr -> NExpr Source #

pattern NPartialNum :: Int64 -> NExpr -> NExpr Source #

nlam :: NExpr -> NExpr Source #

type NResult = NExpr Source #

newtype NExprs Source #

Constructors

NExprs (Map FragIndex NResult)

Instances

Instances details

Show NExprs Source #
Instance details Defined in Naturals Methods showsPrec :: Int -> NExprs -> ShowS Source # show :: NExprs -> String Source # showList :: [NExprs] -> ShowS Source #
Eq NExprs Source #
Instance details Defined in Naturals Methods (==) :: NExprs -> NExprs -> Bool Source # (/=) :: NExprs -> NExprs -> Bool Source #
AbstractRunTime NExprs Source #
Instance details Defined in Telomare.RunTime Methods eval :: NExprs -> NExprs Source #
TelomareLike NExprs Source #
Instance details Defined in Telomare.RunTime Methods fromTelomare :: IExpr -> NExprs Source # toTelomare :: NExprs -> Maybe IExpr Source #

type FragState = State (FragIndex, Map FragIndex ExprFrag) Source #

toFrag :: IExpr -> FragState ExprFrag Source #

fromFrag :: Map FragIndex ExprFrag -> ExprFrag -> IExpr Source #

matchChurchPlus :: Map FragIndex ExprFrag -> ExprFrag -> Maybe (ExprFrag, ExprFrag) Source #

matchChurchMult :: Map FragIndex ExprFrag -> ExprFrag -> Maybe (ExprFrag, ExprFrag) Source #

matchApp :: ExprFrag -> Maybe (ExprFrag, ExprFrag) Source #

fragmentExpr :: IExpr -> Map FragIndex ExprFrag Source #

fragToNExpr :: Map FragIndex ExprFrag -> ExprFrag -> NExpr Source #

fragsToNExpr :: Map FragIndex ExprFrag -> Map FragIndex NResult Source #

debugShow :: p -> p Source #

Orphan instances

Binary FragIndex Source #
Instance details Methods put :: FragIndex -> Put Source # get :: Get FragIndex Source # putList :: [FragIndex] -> Put Source #

NZero
NPair NExpr NExpr
NEnv
NSetEnv NExpr
NDefer FragIndex
NGate NExpr NExpr
NLeft NExpr
NRight NExpr
NTrace
NNum Int64
NAdd NExpr NExpr
NMult NExpr NExpr
NPow NExpr NExpr
NApp NExpr NExpr
NOldDefer NExpr
NToChurch NExpr NExpr
NTwiddle NExpr
NToNum