Symantic.Semantics.Reader

Type Reader

newtype Reader r sem a

An intermediate interpreter exposing an environment.

Constructors

Reader

Fields

• unReader :: r -> sem a

Instances

Constantable c sem => Constantable c (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

constant :: c -> Reader r sem c

Abstractable sem => Abstractable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

lam :: (Reader r sem a -> Reader r sem b) -> Reader r sem (a -> b)

lam1 :: (Reader r sem a -> Reader r sem b) -> Reader r sem (a -> b)

var :: Reader r sem a -> Reader r sem a

AlternativeFunctor sem => AlternativeFunctor (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

(<|>) :: Reader r sem a -> Reader r sem a -> Reader r sem a

Anythingable sem => Anythingable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

anything :: Reader r sem a -> Reader r sem a

Dicurryable sem => Dicurryable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

dicurry :: forall (args :: [Type]) proxy a. CurryN args => proxy args -> (args -..-> a) -> (a -> Tuples args) -> Reader r sem (Tuples args) -> Reader r sem a

Eitherable sem => Eitherable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

either :: Reader r sem ((l -> a) -> (r0 -> a) -> Either l r0 -> a)

left :: Reader r sem (l -> Either l r0)

right :: Reader r sem (r0 -> Either l r0)

Emptyable sem => Emptyable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

empty :: Reader r sem a

Equalable sem => Equalable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

equal :: Eq a => Reader r sem (a -> a -> Bool)

Functionable sem => Functionable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

const :: Reader r sem (a -> b -> a)

flip :: Reader r sem ((a -> b -> c) -> b -> a -> c)

id :: Reader r sem (a -> a)

(.) :: Reader r sem ((b -> c) -> (a -> b) -> a -> c)

($) :: Reader r sem ((a -> b) -> a -> b)

IfThenElseable sem => IfThenElseable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

ifThenElse :: Reader r sem Bool -> Reader r sem a -> Reader r sem a -> Reader r sem a

IsoFunctor sem => IsoFunctor (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

(<%>) :: Iso a b -> Reader r sem a -> Reader r sem b

Listable sem => Listable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

cons :: Reader r sem (a -> [a] -> [a])

nil :: Reader r sem [a]

Maybeable sem => Maybeable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

nothing :: Reader r sem (Maybe a)

just :: Reader r sem (a -> Maybe a)

Optionable sem => Optionable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

optional :: Reader r sem a -> Reader r sem (Maybe a)

(ProductFunctor sem, IsoFunctor sem) => ProductFunctor (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

(<.>) :: Reader r sem a -> Reader r sem b -> Reader r sem (a, b)

(<.) :: Reader r sem a -> Reader r sem () -> Reader r sem a

(.>) :: Reader r sem () -> Reader r sem a -> Reader r sem a

Repeatable sem => Repeatable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

many0 :: Reader r sem a -> Reader r sem [a]

many1 :: Reader r sem a -> Reader r sem [a]

Semigroupable sem => Semigroupable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

concat :: Semigroup a => Reader r sem (a -> a -> a)

Substractable sem => Substractable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

(<->) :: Reader r sem a -> Reader r sem b -> Reader r sem a

(SumFunctor sem, IsoFunctor sem) => SumFunctor (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

(<+>) :: Reader r sem a -> Reader r sem b -> Reader r sem (Either a b)

Unabstractable sem => Unabstractable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

(.@) :: Reader r sem (a -> b) -> Reader r sem a -> Reader r sem b

Voidable sem => Voidable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

void :: a -> Reader r sem a -> Reader r sem ()

LiftDerived (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived :: Derived (Reader r sem) a -> Reader r sem a

LiftDerived1 (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived1 :: (Derived (Reader r sem) a -> Derived (Reader r sem) b) -> Reader r sem a -> Reader r sem b

LiftDerived2 (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived2 :: (Derived (Reader r sem) a -> Derived (Reader r sem) b -> Derived (Reader r sem) c) -> Reader r sem a -> Reader r sem b -> Reader r sem c

LiftDerived3 (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived3 :: (Derived (Reader r sem) a -> Derived (Reader r sem) b -> Derived (Reader r sem) c -> Derived (Reader r sem) d) -> Reader r sem a -> Reader r sem b -> Reader r sem c -> Reader r sem d

LiftDerived4 (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

liftDerived4 :: (Derived (Reader r sem) a -> Derived (Reader r sem) b -> Derived (Reader r sem) c -> Derived (Reader r sem) d -> Derived (Reader r sem) e) -> Reader r sem a -> Reader r sem b -> Reader r sem c -> Reader r sem d -> Reader r sem e

type Derived (Reader r sem)

Defined in Symantic.Semantics.Reader

type Derived (Reader r sem) = sem