Symantic.Parser.Haskell

Haskell terms which are interesting to pattern-match when optimizing.

Type ValueCode

data ValueCode a

Compile-time value and corresponding code (that can produce that value at runtime).

Constructors

ValueCode

Fields

• value :: Value a
• code :: CodeQ a

Instances

Haskellable ValueCode

Defined in Symantic.Parser.Haskell

Methods

(.) :: ValueCode ((b -> c) -> (a -> b) -> a -> c)

($) :: ValueCode ((a -> b) -> a -> b)

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

bool :: Bool -> ValueCode Bool

char :: Lift tok => tok -> ValueCode tok

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

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

eq :: Eq a => ValueCode a -> ValueCode (a -> Bool)

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

id :: ValueCode (a -> a)

nil :: ValueCode [a]

unit :: ValueCode ()

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

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

nothing :: ValueCode (Maybe a)

just :: ValueCode (a -> Maybe a)

Trans Haskell ValueCode

Defined in Symantic.Parser.Haskell

Methods

trans :: Haskell a -> ValueCode a

Trans ValueCode Haskell

Defined in Symantic.Parser.Haskell

Methods

trans :: ValueCode a -> Haskell a

getValue :: ValueCode a -> a

getCode :: ValueCode a -> CodeQ a

Type Value

newtype Value a

Constructors

Value

Fields

• unValue :: a

Instances

Haskellable Value

Defined in Symantic.Parser.Haskell

Methods

(.) :: Value ((b -> c) -> (a -> b) -> a -> c)

($) :: Value ((a -> b) -> a -> b)

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

bool :: Bool -> Value Bool

char :: Lift tok => tok -> Value tok

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

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

eq :: Eq a => Value a -> Value (a -> Bool)

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

id :: Value (a -> a)

nil :: Value [a]

unit :: Value ()

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

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

nothing :: Value (Maybe a)

just :: Value (a -> Maybe a)

Trans Haskell Value

Defined in Symantic.Parser.Haskell

Methods

trans :: Haskell a -> Value a

Class Haskellable

class Haskellable (repr :: Type -> Type) where

Final encoding of some Haskell functions useful for some optimizations in optimizeComb.

Methods

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

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

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

bool :: Bool -> repr Bool

char :: Lift tok => tok -> repr tok

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

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

eq :: Eq a => repr a -> repr (a -> Bool)

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

id :: repr (a -> a)

nil :: repr [a]

unit :: repr ()

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

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

nothing :: repr (Maybe a)

just :: repr (a -> Maybe a)

Instances

Haskellable Haskell

Defined in Symantic.Parser.Haskell

Methods

(.) :: Haskell ((b -> c) -> (a -> b) -> a -> c)

($) :: Haskell ((a -> b) -> a -> b)

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

bool :: Bool -> Haskell Bool

char :: Lift tok => tok -> Haskell tok

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

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

eq :: Eq a => Haskell a -> Haskell (a -> Bool)

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

id :: Haskell (a -> a)

nil :: Haskell [a]

unit :: Haskell ()

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

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

nothing :: Haskell (Maybe a)

just :: Haskell (a -> Maybe a)

Haskellable Value

Defined in Symantic.Parser.Haskell

Methods

(.) :: Value ((b -> c) -> (a -> b) -> a -> c)

($) :: Value ((a -> b) -> a -> b)

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

bool :: Bool -> Value Bool

char :: Lift tok => tok -> Value tok

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

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

eq :: Eq a => Value a -> Value (a -> Bool)

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

id :: Value (a -> a)

nil :: Value [a]

unit :: Value ()

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

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

nothing :: Value (Maybe a)

just :: Value (a -> Maybe a)

Haskellable ValueCode

Defined in Symantic.Parser.Haskell

Methods

(.) :: ValueCode ((b -> c) -> (a -> b) -> a -> c)

($) :: ValueCode ((a -> b) -> a -> b)

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

bool :: Bool -> ValueCode Bool

char :: Lift tok => tok -> ValueCode tok

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

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

eq :: Eq a => ValueCode a -> ValueCode (a -> Bool)

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

id :: ValueCode (a -> a)

nil :: ValueCode [a]

unit :: ValueCode ()

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

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

nothing :: ValueCode (Maybe a)

just :: ValueCode (a -> Maybe a)

Haskellable (CodeQ :: Type -> Type)

Defined in Symantic.Parser.Haskell

Methods

(.) :: CodeQ ((b -> c) -> (a -> b) -> a -> c)

($) :: CodeQ ((a -> b) -> a -> b)

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

bool :: Bool -> CodeQ Bool

char :: Lift tok => tok -> CodeQ tok

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

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

eq :: Eq a => CodeQ a -> CodeQ (a -> Bool)

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

id :: CodeQ (a -> a)

nil :: CodeQ [a]

unit :: CodeQ ()

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

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

nothing :: CodeQ (Maybe a)

just :: CodeQ (a -> Maybe a)

Type Haskellable

data Haskell a where

Initial encoding of Haskellable.

Constructors

Haskell :: ValueCode a -> Haskell a

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

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

(:@) :: Haskell (a -> b) -> Haskell a -> Haskell b infixl 9

Cons :: Haskell (a -> [a] -> [a])

Const :: Haskell (a -> b -> a)

Eq :: Eq a => Haskell a -> Haskell (a -> Bool)

Flip :: Haskell ((a -> b -> c) -> b -> a -> c)

Id :: Haskell (a -> a)

Unit :: Haskell ()

Instances

Haskellable Haskell

Defined in Symantic.Parser.Haskell

Methods

(.) :: Haskell ((b -> c) -> (a -> b) -> a -> c)

($) :: Haskell ((a -> b) -> a -> b)

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

bool :: Bool -> Haskell Bool

char :: Lift tok => tok -> Haskell tok

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

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

eq :: Eq a => Haskell a -> Haskell (a -> Bool)

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

id :: Haskell (a -> a)

nil :: Haskell [a]

unit :: Haskell ()

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

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

nothing :: Haskell (Maybe a)

just :: Haskell (a -> Maybe a)

Trans Haskell Value

Defined in Symantic.Parser.Haskell

Methods

trans :: Haskell a -> Value a

Trans Haskell ValueCode

Defined in Symantic.Parser.Haskell

Methods

trans :: Haskell a -> ValueCode a

Trans ValueCode Haskell

Defined in Symantic.Parser.Haskell

Methods

trans :: ValueCode a -> Haskell a

Trans Haskell (CodeQ :: Type -> Type)

Defined in Symantic.Parser.Haskell

Methods

trans :: Haskell a -> CodeQ a

Show (Haskell a)

Defined in Symantic.Parser.Haskell

Methods

showsPrec :: Int -> Haskell a -> ShowS

show :: Haskell a -> String

showList :: [Haskell a] -> ShowS

type Output Haskell

Defined in Symantic.Parser.Haskell

type Output Haskell = ValueCode