Inferno.Types.Value

Documentation

data Value custom m

Constructors

VInt Int64

VDouble Double

VWord16 Word16

VWord32 Word32

VWord64 Word64

VEpochTime EpochTime

VText Text

VEnum VCObjectHash Ident

VArray [Value custom m]

VTuple [Value custom m]

VOne (Value custom m)

VEmpty

VFun (Value custom m -> m (Value custom m))

VTypeRep InfernoType

VCustom custom

Instances

Eq c => Eq (Value c m)

Defined in Inferno.Types.Value

Methods

(==) :: Value c m -> Value c m -> Bool

(/=) :: Value c m -> Value c m -> Bool

Pretty c => Pretty (Value c m)

Defined in Inferno.Types.Value

Methods

pretty :: Value c m -> Doc ann

prettyList :: [Value c m] -> Doc ann

Monad m => MonadReader (Map ExtIdent (Value c (ImplEnvM m c))) (ImplEnvM m c)

Defined in Inferno.Types.Value

Methods

ask :: ImplEnvM m c (Map ExtIdent (Value c (ImplEnvM m c)))

local :: (Map ExtIdent (Value c (ImplEnvM m c)) -> Map ExtIdent (Value c (ImplEnvM m c))) -> ImplEnvM m c a -> ImplEnvM m c a

reader :: (Map ExtIdent (Value c (ImplEnvM m c)) -> a) -> ImplEnvM m c a

newtype ImplEnvM m c a

Constructors

ImplEnvM

Fields

• unImplEnvM :: ReaderT (Map ExtIdent (Value c (ImplEnvM m c))) m a

Instances

MonadError e m => MonadError e (ImplEnvM m c)

Defined in Inferno.Types.Value

Methods

throwError :: e -> ImplEnvM m c a

catchError :: ImplEnvM m c a -> (e -> ImplEnvM m c a) -> ImplEnvM m c a

MonadFix m => MonadFix (ImplEnvM m c)

Defined in Inferno.Types.Value

Methods

mfix :: (a -> ImplEnvM m c a) -> ImplEnvM m c a

MonadIO m => MonadIO (ImplEnvM m c)

Defined in Inferno.Types.Value

Methods

liftIO :: IO a -> ImplEnvM m c a

Applicative m => Applicative (ImplEnvM m c)

Defined in Inferno.Types.Value

Methods

pure :: a -> ImplEnvM m c a

(<*>) :: ImplEnvM m c (a -> b) -> ImplEnvM m c a -> ImplEnvM m c b

liftA2 :: (a -> b -> c0) -> ImplEnvM m c a -> ImplEnvM m c b -> ImplEnvM m c c0

(*>) :: ImplEnvM m c a -> ImplEnvM m c b -> ImplEnvM m c b

(<*) :: ImplEnvM m c a -> ImplEnvM m c b -> ImplEnvM m c a

Functor m => Functor (ImplEnvM m c)

Defined in Inferno.Types.Value

Methods

fmap :: (a -> b) -> ImplEnvM m c a -> ImplEnvM m c b

(<$) :: a -> ImplEnvM m c b -> ImplEnvM m c a

Monad m => Monad (ImplEnvM m c)

Defined in Inferno.Types.Value

Methods

(>>=) :: ImplEnvM m c a -> (a -> ImplEnvM m c b) -> ImplEnvM m c b

(>>) :: ImplEnvM m c a -> ImplEnvM m c b -> ImplEnvM m c b

return :: a -> ImplEnvM m c a

Monad m => MonadReader (Map ExtIdent (Value c (ImplEnvM m c))) (ImplEnvM m c)

Defined in Inferno.Types.Value

Methods

ask :: ImplEnvM m c (Map ExtIdent (Value c (ImplEnvM m c)))

local :: (Map ExtIdent (Value c (ImplEnvM m c)) -> Map ExtIdent (Value c (ImplEnvM m c))) -> ImplEnvM m c a -> ImplEnvM m c a

reader :: (Map ExtIdent (Value c (ImplEnvM m c)) -> a) -> ImplEnvM m c a

runImplEnvM :: Map ExtIdent (Value c (ImplEnvM m c)) -> ImplEnvM m c a -> m a

newtype ImplicitCast (lbl :: Symbol) a b c

Constructors

ImplicitCast (a -> b -> c)