Symantic.Syntaxes.Classes

Combinators in this module conflict with usual ones from the Prelude hence they are meant to be imported either explicitely or qualified.

Type Syntax

type Syntax = Semantic -> Constraint

Type family Syntaxes

type family Syntaxes (syns :: [Syntax]) (sem :: Semantic) :: Constraint where ...

Merge several Syntaxes into a single one.

Useful in IfSemantic.

Equations

Syntaxes '[] sem = ()

Syntaxes (syn ': syns) sem = (syn sem, Syntaxes syns sem)

Class Abstractable

class Unabstractable sem => Abstractable sem where

Minimal complete definition

Nothing

Methods

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

Lambda term abstraction, in HOAS (Higher-Order Abstract Syntax) style.

default lam :: FromDerived Abstractable sem => Derivable sem => (sem a -> sem b) -> sem (a -> b)

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

Like lam but whose argument must be used only once, hence safe to beta-reduce (inline) without duplicating work.

default lam1 :: FromDerived Abstractable sem => Derivable sem => (sem a -> sem b) -> sem (a -> b)

var :: sem a -> sem a

default var :: FromDerived1 Abstractable sem => sem a -> sem a

Instances

Abstractable Viewer

Defined in Symantic.Semantics.Viewer

Methods

lam :: (Viewer a -> Viewer b) -> Viewer (a -> b)

lam1 :: (Viewer a -> Viewer b) -> Viewer (a -> b)

var :: Viewer a -> Viewer a

Abstractable sem => Abstractable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

lam :: (SomeData sem a -> SomeData sem b) -> SomeData sem (a -> b)

lam1 :: (SomeData sem a -> SomeData sem b) -> SomeData sem (a -> b)

var :: SomeData sem a -> SomeData sem a

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

Abstractable sem => Derivable (Data Abstractable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Abstractable sem a -> Derived (Data Abstractable sem) a

data Data Abstractable sem a

Defined in Symantic.Syntaxes.Data

data Data Abstractable sem a where

• Lam :: forall (sem :: Semantic) a b. (SomeData sem a -> SomeData sem b) -> Data Abstractable sem (a -> b)
• Lam1 :: forall (sem :: Semantic) a b. (SomeData sem a -> SomeData sem b) -> Data Abstractable sem (a -> b)
• Var :: forall (sem :: Semantic) a. sem a -> Data Abstractable sem a

Class Unabstractable

class Unabstractable sem where

Minimal complete definition

Nothing

Methods

(.@) :: sem (a -> b) -> sem a -> sem b infixl 9

Application, aka. unabstract.

default (.@) :: FromDerived2 Unabstractable sem => sem (a -> b) -> sem a -> sem b

Instances

Unabstractable Viewer

Defined in Symantic.Semantics.Viewer

Methods

(.@) :: Viewer (a -> b) -> Viewer a -> Viewer b

Unabstractable sem => Unabstractable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

(.@) :: SomeData sem (a -> b) -> SomeData sem a -> SomeData sem 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

Unabstractable sem => Derivable (Data Unabstractable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Unabstractable sem a -> Derived (Data Unabstractable sem) a

data Data Unabstractable sem a

Defined in Symantic.Syntaxes.Data

data Data Unabstractable sem a where

• (:@) :: forall (sem :: Semantic) a b. SomeData sem (a -> b) -> SomeData sem a -> Data Unabstractable sem b

Class Functionable

class Functionable sem where

Minimal complete definition

Nothing

Methods

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

default const :: FromDerived Functionable sem => sem (a -> b -> a)

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

default flip :: FromDerived Functionable sem => sem ((a -> b -> c) -> b -> a -> c)

id :: sem (a -> a)

default id :: FromDerived Functionable sem => sem (a -> a)

(.) :: sem ((b -> c) -> (a -> b) -> a -> c) infixr 9

default (.) :: FromDerived Functionable sem => sem ((b -> c) -> (a -> b) -> a -> c)

($) :: sem ((a -> b) -> a -> b) infixr 0

default ($) :: FromDerived Functionable sem => sem ((a -> b) -> a -> b)

Instances

Abstractable sem => Functionable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

const :: SomeData sem (a -> b -> a)

flip :: SomeData sem ((a -> b -> c) -> b -> a -> c)

id :: SomeData sem (a -> a)

(.) :: SomeData sem ((b -> c) -> (a -> b) -> a -> c)

($) :: SomeData sem ((a -> b) -> a -> b)

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)

Class Anythingable

class Anythingable sem where

Minimal complete definition

Nothing

Methods

anything :: sem a -> sem a

Instances

Anythingable Viewer

Defined in Symantic.Semantics.Viewer

Methods

anything :: Viewer a -> Viewer a

Anythingable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

anything :: SomeData sem a -> SomeData sem a

Anythingable sem => Anythingable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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

Anythingable (Data Anythingable sem)

Defined in Symantic.Syntaxes.Data

Methods

anything :: Data Anythingable sem a -> Data Anythingable sem a

Anythingable sem => Derivable (Data Anythingable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Anythingable sem a -> Derived (Data Anythingable sem) a

data Data Anythingable sem a

Defined in Symantic.Syntaxes.Data

data Data Anythingable sem a where

• Anything :: forall (sem :: Semantic) a. sem a -> Data Anythingable sem a

Class Bottomable

class Bottomable sem where

Methods

bottom :: sem a

Instances

Bottomable Viewer

Defined in Symantic.Semantics.Viewer

Methods

bottom :: Viewer a

Bottomable sem => Derivable (Data Bottomable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Bottomable sem a -> Derived (Data Bottomable sem) a

data Data Bottomable sem a

Defined in Symantic.Syntaxes.Data

data Data Bottomable sem a where

• Bottom :: forall (sem :: Semantic) a. Data Bottomable sem a

Class Constantable

class Constantable c sem where

Minimal complete definition

Nothing

Methods

constant :: c -> sem c

default constant :: FromDerived (Constantable c) sem => c -> sem c

Instances

Show c => Constantable c Viewer

Defined in Symantic.Semantics.Viewer

Methods

constant :: c -> Viewer c

(Constantable c sem, Typeable c) => Constantable c (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

constant :: c -> SomeData sem c

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

Defined in Symantic.Semantics.Reader

Methods

constant :: c -> Reader r sem c

Constantable c (Data (Constantable c) sem)

Defined in Symantic.Syntaxes.Data

Methods

constant :: c -> Data (Constantable c) sem c

Constantable c sem => Derivable (Data (Constantable c) sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data (Constantable c) sem a -> Derived (Data (Constantable c) sem) a

data Data (Constantable c) sem a

Defined in Symantic.Syntaxes.Data

data Data (Constantable c) sem a where

• Constant :: forall c (sem :: Semantic). c -> Data (Constantable c) sem c

Class Eitherable

class Eitherable sem where

Minimal complete definition

Nothing

Methods

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

default either :: FromDerived Eitherable sem => sem ((l -> a) -> (r -> a) -> Either l r -> a)

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

default left :: FromDerived Eitherable sem => sem (l -> Either l r)

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

default right :: FromDerived Eitherable sem => sem (r -> Either l r)

Instances

Eitherable Viewer

Defined in Symantic.Semantics.Viewer

Methods

either :: Viewer ((l -> a) -> (r -> a) -> Either l r -> a)

left :: Viewer (l -> Either l r)

right :: Viewer (r -> Either l r)

Eitherable sem => Eitherable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

either :: SomeData sem ((l -> a) -> (r -> a) -> Either l r -> a)

left :: SomeData sem (l -> Either l r)

right :: SomeData sem (r -> Either l r)

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)

Eitherable (Data Eitherable sem)

Defined in Symantic.Syntaxes.Data

Methods

either :: Data Eitherable sem ((l -> a) -> (r -> a) -> Either l r -> a)

left :: Data Eitherable sem (l -> Either l r)

right :: Data Eitherable sem (r -> Either l r)

Eitherable sem => Derivable (Data Eitherable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Eitherable sem a -> Derived (Data Eitherable sem) a

data Data Eitherable sem a

Defined in Symantic.Syntaxes.Data

data Data Eitherable sem a where

• Either :: forall (sem :: Semantic) l a r. Data Eitherable sem ((l -> a) -> (r -> a) -> Either l r -> a)
• Left :: forall (sem :: Semantic) l r. Data Eitherable sem (l -> Either l r)
• Right :: forall (sem :: Semantic) r l. Data Eitherable sem (r -> Either l r)

Class Equalable

class Equalable sem where

Minimal complete definition

Nothing

Methods

equal :: Eq a => sem (a -> a -> Bool) infix 4

default equal :: FromDerived Equalable sem => Eq a => sem (a -> a -> Bool)

Instances

Equalable Viewer

Defined in Symantic.Semantics.Viewer

Methods

equal :: Eq a => Viewer (a -> a -> Bool)

Equalable sem => Equalable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

equal :: Eq a => SomeData sem (a -> a -> Bool)

Equalable sem => Equalable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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

Equalable (Data Equalable sem)

Defined in Symantic.Syntaxes.Data

Methods

equal :: Eq a => Data Equalable sem (a -> a -> Bool)

Equalable sem => Derivable (Data Equalable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Equalable sem a -> Derived (Data Equalable sem) a

data Data Equalable sem a

Defined in Symantic.Syntaxes.Data

data Data Equalable sem a where

• Equal :: forall a (sem :: Semantic). Eq a => Data Equalable sem (a -> a -> Bool)

(==) :: Abstractable sem => Equalable sem => Eq a => sem a -> sem a -> sem Bool infix 4

Class IfThenElseable

class IfThenElseable sem where

Minimal complete definition

Nothing

Methods

ifThenElse :: sem Bool -> sem a -> sem a -> sem a

default ifThenElse :: FromDerived3 IfThenElseable sem => sem Bool -> sem a -> sem a -> sem a

Instances

IfThenElseable sem => IfThenElseable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

ifThenElse :: SomeData sem Bool -> SomeData sem a -> SomeData sem a -> SomeData sem a

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

IfThenElseable sem => IfThenElseable (Data IfThenElseable sem)

Defined in Symantic.Syntaxes.Data

Methods

ifThenElse :: Data IfThenElseable sem Bool -> Data IfThenElseable sem a -> Data IfThenElseable sem a -> Data IfThenElseable sem a

IfThenElseable sem => Derivable (Data IfThenElseable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data IfThenElseable sem a -> Derived (Data IfThenElseable sem) a

data Data IfThenElseable sem a

Defined in Symantic.Syntaxes.Data

data Data IfThenElseable sem a where

• IfThenElse :: forall (sem :: Semantic) a. SomeData sem Bool -> SomeData sem a -> SomeData sem a -> Data IfThenElseable sem a

Class Inferable

class Inferable a sem where

Minimal complete definition

Nothing

Methods

infer :: sem a

default infer :: FromDerived (Inferable a) sem => sem a

unit :: Inferable () sem => sem ()

bool :: Inferable Bool sem => sem Bool

char :: Inferable Char sem => sem Char

int :: Inferable Int sem => sem Int

natural :: Inferable Natural sem => sem Natural

string :: Inferable String sem => sem String

Class Listable

class Listable sem where

Minimal complete definition

Nothing

Methods

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

default cons :: FromDerived Listable sem => sem (a -> [a] -> [a])

nil :: sem [a]

default nil :: FromDerived Listable sem => sem [a]

Instances

Listable Viewer

Defined in Symantic.Semantics.Viewer

Methods

cons :: Viewer (a -> [a] -> [a])

nil :: Viewer [a]

Listable sem => Listable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

cons :: SomeData sem (a -> [a] -> [a])

nil :: SomeData sem [a]

Listable sem => Listable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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

nil :: Reader r sem [a]

Listable (Data Listable sem)

Defined in Symantic.Syntaxes.Data

Methods

cons :: Data Listable sem (a -> [a] -> [a])

nil :: Data Listable sem [a]

Listable sem => Derivable (Data Listable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Listable sem a -> Derived (Data Listable sem) a

data Data Listable sem a

Defined in Symantic.Syntaxes.Data

data Data Listable sem a where

• Cons :: forall (sem :: Semantic) a. Data Listable sem (a -> [a] -> [a])
• Nil :: forall (sem :: Semantic) a. Data Listable sem [a]

Class Maybeable

class Maybeable sem where

Minimal complete definition

Nothing

Methods

nothing :: sem (Maybe a)

default nothing :: FromDerived Maybeable sem => sem (Maybe a)

just :: sem (a -> Maybe a)

default just :: FromDerived Maybeable sem => sem (a -> Maybe a)

Instances

Maybeable Viewer

Defined in Symantic.Semantics.Viewer

Methods

nothing :: Viewer (Maybe a)

just :: Viewer (a -> Maybe a)

Maybeable sem => Maybeable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

nothing :: SomeData sem (Maybe a)

just :: SomeData sem (a -> Maybe 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)

Maybeable (Data Maybeable sem)

Defined in Symantic.Syntaxes.Data

Methods

nothing :: Data Maybeable sem (Maybe a)

just :: Data Maybeable sem (a -> Maybe a)

Maybeable sem => Derivable (Data Maybeable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Maybeable sem a -> Derived (Data Maybeable sem) a

data Data Maybeable sem a

Defined in Symantic.Syntaxes.Data

data Data Maybeable sem a where

• Nothing :: forall (sem :: Semantic) a. Data Maybeable sem (Maybe a)
• Just :: forall (sem :: Semantic) a. Data Maybeable sem (a -> Maybe a)

Class IsoFunctor

class IsoFunctor sem where

Minimal complete definition

Nothing

Methods

(<%>) :: Iso a b -> sem a -> sem b infixl 4

default (<%>) :: FromDerived1 IsoFunctor sem => Iso a b -> sem a -> sem b

Instances

IsoFunctor sem => IsoFunctor (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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

Type Iso

data Iso a b

Constructors

Iso

Fields

• a2b :: a -> b
• b2a :: b -> a

Instances

Category Iso

Defined in Symantic.Syntaxes.Classes

Methods

id :: forall (a :: k). Iso a a

(.) :: forall (b :: k) (c :: k) (a :: k). Iso b c -> Iso a b -> Iso a c

Class ProductFunctor

class ProductFunctor sem where

Beware that this is an infixr, not infixl like <*>; this is to follow what is expected by ADT.

Minimal complete definition

Nothing

Methods

(<.>) :: sem a -> sem b -> sem (a, b) infixr 4

default (<.>) :: FromDerived2 ProductFunctor sem => sem a -> sem b -> sem (a, b)

(<.) :: sem a -> sem () -> sem a infixr 4

default (<.) :: IsoFunctor sem => sem a -> sem () -> sem a

(.>) :: sem () -> sem a -> sem a infixr 4

default (.>) :: IsoFunctor sem => sem () -> sem a -> sem a

Instances

(ProductFunctor sem, Monad sem) => ProductFunctor (ToFer sem)

Defined in Symantic.Semantics.ToFer

Methods

(<.>) :: ToFer sem a -> ToFer sem b -> ToFer sem (a, b)

(<.) :: ToFer sem a -> ToFer sem () -> ToFer sem a

(.>) :: ToFer sem () -> ToFer sem a -> ToFer sem 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

Class SumFunctor

class SumFunctor sem where

Beware that this is an infixr, not infixl like <|>; this is to follow what is expected by ADT.

Minimal complete definition

Nothing

Methods

(<+>) :: sem a -> sem b -> sem (Either a b) infixr 3

default (<+>) :: FromDerived2 SumFunctor sem => sem a -> sem b -> sem (Either a b)

Instances

(SumFunctor sem, AlternativeFunctor sem) => SumFunctor (ToFer sem)

Defined in Symantic.Semantics.ToFer

Methods

(<+>) :: ToFer sem a -> ToFer sem b -> ToFer sem (Either a b)

(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)

pattern (:!:) :: a -> b -> (a, b) infixr 4

Like (,) but infixr. Mostly useful for clarity when using SumFunctor.

Class AlternativeFunctor

class AlternativeFunctor sem where

Beware that this is an infixr, not infixl like <|>; this is to follow what is expected by ADT.

Minimal complete definition

Nothing

Methods

(<|>) :: sem a -> sem a -> sem a infixr 3

default (<|>) :: FromDerived2 AlternativeFunctor sem => sem a -> sem a -> sem a

Instances

AlternativeFunctor sem => AlternativeFunctor (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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

Class Dicurryable

class Dicurryable sem where

Minimal complete definition

Nothing

Methods

dicurry :: CurryN args => proxy args -> (args -..-> a) -> (a -> Tuples args) -> sem (Tuples args) -> sem a

default dicurry :: FromDerived1 Dicurryable sem => CurryN args => proxy args -> (args -..-> a) -> (a -> Tuples args) -> sem (Tuples args) -> sem a

Instances

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

construct :: forall args a sem. Dicurryable sem => Generic a => EoTOfRep a => CurryN args => Tuples args ~ EoT (ADT a) => args ~ Args (args -..-> a) => (args -..-> a) -> sem (Tuples args) -> sem a

Class Dataable

class Dataable sem where

Enable the contruction or deconstruction of a any algebraic data type

Minimal complete definition

Nothing

Methods

data_ :: Generic a => RepOfEoT a => UnToF a => sem (EoT (ADT a)) -> sem a

default data_ :: Generic a => RepOfEoT a => EoTOfRep a => IsoFunctor sem => sem (EoT (ADT a)) -> sem a

Instances

Functor sem => Dataable (ToFer sem)

Defined in Symantic.Semantics.ToFer

Methods

data_ :: (Generic a, RepOfEoT a, UnToF a) => ToFer sem (EoT (ADT a)) -> ToFer sem a

dataType :: forall a sem. Dataable sem => Generic a => RepOfEoT a => UnToF a => sem (EoT (ADT a)) -> sem a

Like data_ but with the (a) type parameter first for convenience when specifying it.

Class IfSemantic

class IfSemantic (thenSyntaxes :: [Syntax]) (elseSyntaxes :: [Syntax]) thenSemantic elseSemantic where

IfSemantic enables to change the Syntax for a specific Semantic.

Useful when a Semantic does not implement some Syntaxes used by other Semantics.

Methods

ifSemantic :: (Syntaxes thenSyntaxes thenSemantic => thenSemantic a) -> (Syntaxes elseSyntaxes elseSemantic => elseSemantic a) -> elseSemantic a

Instances

Syntaxes elseSyntaxes elseSemantic => IfSemantic thenSyntaxes elseSyntaxes thenSemantic elseSemantic

Defined in Symantic.Syntaxes.Classes

Methods

ifSemantic :: (Syntaxes thenSyntaxes thenSemantic => thenSemantic a) -> (Syntaxes elseSyntaxes elseSemantic => elseSemantic a) -> elseSemantic a

Syntaxes thenSyntaxes thenSemantic => IfSemantic thenSyntaxes elseSyntaxes thenSemantic thenSemantic

Defined in Symantic.Syntaxes.Classes

Methods

ifSemantic :: (Syntaxes thenSyntaxes thenSemantic => thenSemantic a) -> (Syntaxes elseSyntaxes thenSemantic => thenSemantic a) -> thenSemantic a

Class Monoidable

class (Emptyable sem, Semigroupable sem) => Monoidable sem

Instances

(Emptyable sem, Semigroupable sem) => Monoidable sem

Defined in Symantic.Syntaxes.Classes

Class Emptyable

class Emptyable sem where

Minimal complete definition

Nothing

Methods

empty :: sem a

default empty :: FromDerived Emptyable sem => sem a

Instances

Emptyable sem => Emptyable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

empty :: SomeData sem a

Emptyable sem => Emptyable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

empty :: Reader r sem a

Emptyable (Data Emptyable sem)

Defined in Symantic.Syntaxes.Data

Methods

empty :: Data Emptyable sem a

Emptyable sem => Derivable (Data Emptyable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Emptyable sem a -> Derived (Data Emptyable sem) a

data Data Emptyable sem a

Defined in Symantic.Syntaxes.Data

data Data Emptyable sem a where

• Empty :: forall (sem :: Semantic) a. Data Emptyable sem a

Class Semigroupable

class Semigroupable sem where

Minimal complete definition

Nothing

Methods

concat :: Semigroup a => sem (a -> a -> a) infixr 6

default concat :: FromDerived Semigroupable sem => Semigroup a => sem (a -> a -> a)

Instances

Semigroupable sem => Semigroupable (SomeData sem)

Defined in Symantic.Syntaxes.Data

Methods

concat :: Semigroup a => SomeData sem (a -> a -> a)

Semigroupable sem => Semigroupable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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

Semigroupable (Data Semigroupable sem)

Defined in Symantic.Syntaxes.Data

Methods

concat :: Semigroup a => Data Semigroupable sem (a -> a -> a)

Semigroupable sem => Derivable (Data Semigroupable sem)

Defined in Symantic.Syntaxes.Data

Methods

derive :: Data Semigroupable sem a -> Derived (Data Semigroupable sem) a

data Data Semigroupable sem a

Defined in Symantic.Syntaxes.Data

data Data Semigroupable sem a where

• Concat :: forall a (sem :: Semantic). Semigroup a => Data Semigroupable sem (a -> a -> a)

(<>) :: Abstractable sem => Semigroupable sem => Semigroup a => sem a -> sem a -> sem a infixr 6

Class Optionable

class Optionable sem where

Minimal complete definition

Nothing

Methods

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

default optional :: FromDerived1 Optionable sem => sem a -> sem (Maybe a)

Instances

(Optionable sem, Functor sem) => Optionable (ToFer sem)

Defined in Symantic.Semantics.ToFer

Methods

optional :: ToFer sem a -> ToFer sem (Maybe a)

Optionable sem => Optionable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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

Class Repeatable

class Repeatable sem where

Minimal complete definition

Nothing

Methods

many0 :: sem a -> sem [a]

default many0 :: FromDerived1 Repeatable sem => sem a -> sem [a]

many1 :: sem a -> sem [a]

default many1 :: FromDerived1 Repeatable sem => sem a -> sem [a]

Instances

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]

many :: Repeatable sem => sem a -> sem [a]

Alias to many0.

some :: Repeatable sem => sem a -> sem [a]

Alias to many1.

Class Permutable

class Permutable sem where

Minimal complete definition

permutable, perm, noPerm, permWithDefault

Associated Types

type Permutation (sem :: Semantic) = (r :: Semantic) | r -> sem

type Permutation sem = Permutation (Derived sem)

Methods

permutable :: Permutation sem a -> sem a

perm :: sem a -> Permutation sem a

noPerm :: Permutation sem ()

permWithDefault :: a -> sem a -> Permutation sem a

optionalPerm :: Eitherable sem => IsoFunctor sem => Permutable sem => sem a -> Permutation sem (Maybe a)

(<&>) :: Permutable sem => ProductFunctor (Permutation sem) => sem a -> Permutation sem b -> Permutation sem (a, b) infixr 4

(<?&>) :: Eitherable sem => IsoFunctor sem => Permutable sem => ProductFunctor (Permutation sem) => sem a -> Permutation sem b -> Permutation sem (Maybe a, b) infixr 4

(<*&>) :: Eitherable sem => Repeatable sem => IsoFunctor sem => Permutable sem => ProductFunctor (Permutation sem) => sem a -> Permutation sem b -> Permutation sem ([a], b) infixr 4

(<+&>) :: Eitherable sem => Repeatable sem => IsoFunctor sem => Permutable sem => ProductFunctor (Permutation sem) => sem a -> Permutation sem b -> Permutation sem ([a], b) infixr 4

Class Voidable

class Voidable sem where

Minimal complete definition

Nothing

Methods

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

Useful to supply (a) to a (sem) consuming (a), for example in the format of a printing interpreter.

default void :: FromDerived1 Voidable sem => a -> sem a -> sem ()

Instances

Voidable sem => Voidable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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

Class Substractable

class Substractable sem where

Minimal complete definition

Nothing

Methods

(<->) :: sem a -> sem b -> sem a infixr 3

default (<->) :: FromDerived2 Substractable sem => sem a -> sem b -> sem a

Instances

Substractable sem => Substractable (Reader r sem)

Defined in Symantic.Semantics.Reader

Methods

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