Safe Haskell	None
Language	Haskell2010

Language.Syntactic.Constructs.Literal

Description

Literal expressions

Documentation

data Literal sig where Source

Constructors

Instances

Equality Literal Source
StringTree Literal Source
Render Literal Source
Eval Literal Source
Constrained Literal Source
EvalBind Literal Source
Optimize Literal Source
AlphaEq dom dom dom env => AlphaEq Literal Literal dom env Source
type Sat Literal = (:/\:) Eq ((:/\:) Show ((:/\:) (Typeable *) Top)) Source