Copyright	(c) Justus Sagemüller 2017
License	GPL v3
Maintainer	(@) jsag $ hvl.no
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

CAS.Dumb.Symbols

Description

Synopsis

data SymbolD σ c
- = NatSymbol !Integer
- | PrimitiveSymbol Char
- | StringSymbol c
data Infix s = Infix {
- symbolFixity :: !Fixity
- infixSymbox :: !s
}
type family SpecialEncapsulation s
data Encapsulation s
- = Encapsulation {
  - needInnerParens, haveOuterparens :: !Bool
  - leftEncaps, rightEncaps :: !s
  }
- | SpecialEncapsulation (SpecialEncapsulation s)
type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l)
type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l)
type AlgebraPattern σ l = AlgebraExpr' GapId σ l
don'tParenthesise :: Monoid s¹ => CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰
symbolInfix :: s² -> CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰ -> CAS' γ s² s¹ s⁰
symbolFunction :: Monoid s¹ => s¹ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰
data AlgebraicInvEncapsulation
- = Negation
- | Reciprocal
class ASCIISymbols c where
- fromASCIISymbol :: Char -> c
- toASCIISymbols :: c -> String
class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where
- fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c)
type RenderingCombinator σ c r = Bool -> Maybe r -> SymbolD σ c -> Maybe r -> r
data ContextFixity
- = AtLHS Fixity
- | AtRHS Fixity
- | AtFunctionArgument
expressionFixity :: AlgebraExpr σ c -> Maybe Fixity
renderSymbolExpression :: forall σ c r. (SymbolClass σ, SCConstraint σ c, HasCallStack) => ContextFixity -> RenderingCombinator σ c r -> AlgebraExpr σ c -> r
showsPrecASCIISymbol :: (ASCIISymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS
class UnicodeSymbols c where
- fromUnicodeSymbol :: Char -> c
- toUnicodeSymbols :: c -> String
showsPrecUnicodeSymbol :: (UnicodeSymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS
class SymbolClass σ where
- type SCConstraint σ :: * -> Constraint
- fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c
normaliseSymbols :: forall σ c γ s² s¹. (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c)
(%$>) :: forall σ c c' γ s² s¹. (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c')
continueExpr :: (Eq l, Monoid l) => (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) -> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l) -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l
(&~~!) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l
(&~~:) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l

Documentation

data SymbolD σ c Source #

Constructors

NatSymbol !Integer
PrimitiveSymbol Char
StringSymbol c

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Expression c -> ShowS # show :: Expression c -> String # showList :: [Expression c] -> ShowS #
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Pattern c -> ShowS # show :: Pattern c -> String # showList :: [Pattern c] -> ShowS #
Unwieldy c => Unwieldy (Symbol c) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods unwieldiness :: Symbol c -> Unwieldiness Source #
Unwieldy c => Unwieldy (Symbol c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods unwieldiness :: Symbol c -> Unwieldiness Source #
(SymbolClass σ, SCConstraint σ c, Eq c) => Eq (SymbolD σ c) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: SymbolD σ c -> SymbolD σ c -> Bool # (/=) :: SymbolD σ c -> SymbolD σ c -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods pi :: AlgebraExpr' γ σ String # exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromInteger :: Integer -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

data Infix s Source #

Constructors

Infix
Fields symbolFixity :: !Fixity infixSymbox :: !s

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Expression c -> ShowS # show :: Expression c -> String # showList :: [Expression c] -> ShowS #
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Pattern c -> ShowS # show :: Pattern c -> String # showList :: [Pattern c] -> ShowS #
Eq s => Eq (Infix s) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: Infix s -> Infix s -> Bool # (/=) :: Infix s -> Infix s -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods pi :: AlgebraExpr' γ σ String # exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromInteger :: Integer -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

type family SpecialEncapsulation s Source #

Instances

Instances details

type SpecialEncapsulation String Source #
Instance details Defined in CAS.Dumb.Symbols type SpecialEncapsulation String = AlgebraicInvEncapsulation

data Encapsulation s Source #

Constructors

Encapsulation
Fields needInnerParens, haveOuterparens :: !Bool leftEncaps, rightEncaps :: !s
SpecialEncapsulation (SpecialEncapsulation s)

Instances

Instances details

(UnicodeSymbols c, RenderableEncapsulations c) => Show (Expression c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Expression c -> ShowS # show :: Expression c -> String # showList :: [Expression c] -> ShowS #
(UnicodeSymbols c, RenderableEncapsulations c) => Show (Pattern c) Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Methods showsPrec :: Int -> Pattern c -> ShowS # show :: Pattern c -> String # showList :: [Pattern c] -> ShowS #
Eq (Encapsulation String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: Encapsulation String -> Encapsulation String -> Bool # (/=) :: Encapsulation String -> Encapsulation String -> Bool #
(SymbolClass σ, SCConstraint σ String) => Floating (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods pi :: AlgebraExpr' γ σ String # exp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sqrt :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (**) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # logBase :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asin :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acos :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atan :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # sinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # cosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # tanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # asinh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # acosh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # atanh :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1p :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # expm1 :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1pexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # log1mexp :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Num (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (+) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (-) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # (*) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # negate :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # abs :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # signum :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromInteger :: Integer -> AlgebraExpr' γ σ String #
(SymbolClass σ, SCConstraint σ String) => Fractional (AlgebraExpr' γ σ String) Source #
Instance details Defined in CAS.Dumb.Symbols Methods (/) :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # recip :: AlgebraExpr' γ σ String -> AlgebraExpr' γ σ String # fromRational :: Rational -> AlgebraExpr' γ σ String #
(ASCIISymbols c, RenderableEncapsulations c) => Show (CAS (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #
(ASCIISymbols c, RenderableEncapsulations c, Monoid c) => Show (CAS' GapId (Infix c) (Encapsulation c) (Symbol c)) Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Methods showsPrec :: Int -> CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> ShowS # show :: CAS' GapId (Infix c) (Encapsulation c) (Symbol c) -> String # showList :: [CAS' GapId (Infix c) (Encapsulation c) (Symbol c)] -> ShowS #

type AlgebraExpr σ l = CAS (Infix l) (Encapsulation l) (SymbolD σ l) Source #

type AlgebraExpr' γ σ l = CAS' γ (Infix l) (Encapsulation l) (SymbolD σ l) Source #

type AlgebraPattern σ l = AlgebraExpr' GapId σ l Source #

don'tParenthesise :: Monoid s¹ => CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ Source #

symbolInfix Source #

Arguments

:: s²	The operator we want to describe
-> CAS' γ s² s¹ s⁰
-> CAS' γ s² s¹ s⁰
-> CAS' γ s² s¹ s⁰

symbolFunction :: Monoid s¹ => s¹ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ -> CAS' γ (Infix s²) (Encapsulation s¹) s⁰ Source #

data AlgebraicInvEncapsulation Source #

Constructors

Negation
Reciprocal

Instances

Instances details

Show AlgebraicInvEncapsulation Source #
Instance details Defined in CAS.Dumb.Symbols Methods showsPrec :: Int -> AlgebraicInvEncapsulation -> ShowS # show :: AlgebraicInvEncapsulation -> String # showList :: [AlgebraicInvEncapsulation] -> ShowS #
Eq AlgebraicInvEncapsulation Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool # (/=) :: AlgebraicInvEncapsulation -> AlgebraicInvEncapsulation -> Bool #

class ASCIISymbols c where Source #

Methods

fromASCIISymbol :: Char -> c Source #

toASCIISymbols :: c -> String Source #

Instances

Instances details

ASCIISymbols String Source #
Instance details Defined in CAS.Dumb.Symbols Methods fromASCIISymbol :: Char -> String Source # toASCIISymbols :: String -> String Source #

class Eq (SpecialEncapsulation c) => RenderableEncapsulations c where Source #

Methods

fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ c) => CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) -> CAS' γ (Infix c) (Encapsulation c) (SymbolD σ c) Source #

Instances

Instances details

RenderableEncapsulations String Source #
Instance details Defined in CAS.Dumb.Symbols Methods fixateAlgebraEncaps :: (SymbolClass σ, SCConstraint σ String) => CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) -> CAS' γ (Infix String) (Encapsulation String) (SymbolD σ String) Source #

type RenderingCombinator σ c r Source #

Arguments

= Bool	Should the result be parenthesised?
-> Maybe r	Left context
-> SymbolD σ c	Central expressionfunctioninfix to render
-> Maybe r	Right context
-> r	Rendering result

data ContextFixity Source #

Constructors

AtLHS Fixity
AtRHS Fixity
AtFunctionArgument

Instances

Instances details

Eq ContextFixity Source #
Instance details Defined in CAS.Dumb.Symbols Methods (==) :: ContextFixity -> ContextFixity -> Bool # (/=) :: ContextFixity -> ContextFixity -> Bool #

expressionFixity :: AlgebraExpr σ c -> Maybe Fixity Source #

renderSymbolExpression :: forall σ c r. (SymbolClass σ, SCConstraint σ c, HasCallStack) => ContextFixity -> RenderingCombinator σ c r -> AlgebraExpr σ c -> r Source #

showsPrecASCIISymbol :: (ASCIISymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS Source #

class UnicodeSymbols c where Source #

Methods

fromUnicodeSymbol :: Char -> c Source #

toUnicodeSymbols :: c -> String Source #

Instances

Instances details

UnicodeSymbols String Source #
Instance details Defined in CAS.Dumb.Symbols Methods fromUnicodeSymbol :: Char -> String Source # toUnicodeSymbols :: String -> String Source #

showsPrecUnicodeSymbol :: (UnicodeSymbols c, SymbolClass σ, SCConstraint σ c) => Int -> AlgebraExpr σ c -> ShowS Source #

class SymbolClass σ where Source #

Associated Types

type SCConstraint σ :: * -> Constraint Source #

Methods

fromCharSymbol :: (Functor p, SCConstraint σ c) => p σ -> Char -> c Source #

Instances

Instances details

SymbolClass ASCII Source #
Instance details Defined in CAS.Dumb.Symbols.ASCII Associated Types type SCConstraint ASCII :: Type -> Constraint Source # Methods fromCharSymbol :: (Functor p, SCConstraint ASCII c) => p ASCII -> Char -> c Source #
SymbolClass Unicode_MathLatin_RomanGreek__BopomofoGaps Source #
Instance details Defined in CAS.Dumb.Symbols.Unicode.MathLatin_RomanGreek__BopomofoGaps Associated Types type SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps :: Type -> Constraint Source # Methods fromCharSymbol :: (Functor p, SCConstraint Unicode_MathLatin_RomanGreek__BopomofoGaps c) => p Unicode_MathLatin_RomanGreek__BopomofoGaps -> Char -> c Source #

normaliseSymbols :: forall σ c γ s² s¹. (SymbolClass σ, SCConstraint σ c) => CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c) Source #

(%$>) :: forall σ c c' γ s² s¹. (SymbolClass σ, SCConstraint σ c) => (c -> c') -> CAS' γ s² s¹ (SymbolD σ c) -> CAS' γ s² s¹ (SymbolD σ c') infixl 4 Source #

Transform the symbols of an expression, in their underlying representation.

(map succ%$> 𝑎+𝑝) * 𝑥  ≡  (𝑏+𝑞) * 𝑥

Note that this can not be used with number literals.

continueExpr Source #

Arguments

:: (Eq l, Monoid l)
=> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l)	Combinator to use for chaining the new expression to the old ones
-> (AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l)	Transformation to apply to the rightmost expression in the previous chain
-> AlgebraExpr' γ σ l -> AlgebraExpr' γ σ l	Transformation which appends the result.

(&~~!) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l infixl 1 Source #

Apply a sequence of pattern-transformations and yield the result concatenated to the original via the corresponding chain-operator. Because only the rightmost expression in a chain is processed, this can be iterated, giving a chain of intermediate results.

If one of the patterns does not match, this manipulator will raise an error.

(&~~:) :: (Eq l, Eq (Encapsulation l), SymbolClass σ, SCConstraint σ l, Show (AlgebraExpr σ l), Show (AlgebraPattern σ l)) => AlgebraExpr σ l -> [AlgebraPattern σ l] -> AlgebraExpr σ l infixl 1 Source #

Apply a sequence of pattern-transformations, each in every spot possible, and yield the result concatenated to the original via the corresponding chain-operator. Because only the rightmost expression in a chain is processed, this can be iterated, giving a chain of intermediate results.