Safe Haskell	None
Language	Haskell2010

LambdaCube.Compiler.Parser

Documentation

newtype SData a Source

Constructors

SData a

Instances

Eq (SData a) Source
Ord (SData a) Source
Show (SData a) Source

type NameDB a = StateT [String] (Reader [String]) a Source

caseName :: [Char] -> [Char] Source

pattern MatchName :: [Char] -> [Char] Source

sourceInfo :: SourceInfo si => si -> SI Source

data SI Source

Constructors

NoSI (Set String)
RangeSI Range

Instances

Eq SI Source
Ord SI Source
Show SI Source
Monoid SI Source
NFData SI Source
PShow SI Source
SourceInfo SI Source

debugSI :: String -> SI Source

data Module Source

Constructors

Module
Fields extensions :: Extensions moduleImports :: [(SIName, ImportItems)] moduleExports :: Maybe [Export] definitions :: DefParser

data Visibility Source

Constructors

Hidden
Visible

Instances

Eq Visibility Source
Show Visibility Source

data Binder Source

Constructors

BPi Visibility
BLam Visibility
BMeta

Instances

Eq Binder Source
Show Binder Source

data SExp' a Source

Constructors

SGlobal SIName
SBind SI Binder (SData SIName) (SExp' a) (SExp' a)
SApp SI Visibility (SExp' a) (SExp' a)
SLet SIName (SExp' a) (SExp' a)
SVar_ (SData SIName) !Int
SLit SI Lit
STyped SI a

Instances

Eq a => Eq (SExp' a) Source
Show a => Show (SExp' a) Source
Up a => PShow (SExp' a) Source
SetSourceInfo (SExp' a) Source
SourceInfo (SExp' a) Source
Up a => Up (SExp' a) Source

data Extension Source

Constructors

NoImplicitPrelude
TraceTypeCheck

Instances

Enum Extension Source
Eq Extension Source
Ord Extension Source
Show Extension Source

type Extensions = [Extension] Source

pattern SVar :: SIName -> Int -> SExp' t Source

pattern SType :: SExp' t Source

pattern Wildcard :: SExp' t -> SExp' t Source

pattern SAppV :: SExp' t -> SExp' t -> SExp' t infixl 2 Source

pattern SLamV :: SExp' t -> SExp' t Source

pattern SAnn :: SExp' t -> SExp' t -> SExp' t Source

pattern SBuiltin :: SName -> SExp' t Source

pattern SPi :: Visibility -> SExp' t -> SExp' t -> SExp' t Source

pattern Primitive :: SIName -> SExp -> Stmt Source

pattern SLabelEnd :: SExp' t -> SExp' t Source

pattern SLam :: Visibility -> SExp' t -> SExp' t -> SExp' t Source

pattern Parens :: SExp' t -> SExp' t Source

pattern TyType :: SExp' t -> SExp' t Source

pattern Wildcard_ :: SI -> SExp' t -> SExp' t Source

debug :: Bool Source

isPi :: Binder -> Bool Source

varDB :: t -> MaxDB Source

lowerDB :: a -> a Source

upDB :: Int -> MaxDB -> MaxDB Source

cmpDB :: Up a => t -> a -> Bool Source

newtype MaxDB Source

Constructors

MaxDB
Fields getMaxDB :: Int

Instances

Show MaxDB Source
Monoid MaxDB Source

iterateN :: Int -> (a -> a) -> a -> a Source

traceD :: String -> a -> a Source

parseLC :: FilePath -> String -> Either ParseError Module Source

runDefParser :: (MonadFix m, MonadError String m) => DesugarInfo -> DefParser -> m ([Stmt], DesugarInfo) Source

getParamsS :: SExp' t -> ([(Visibility, SExp' t)], SExp' t) Source

addParamsS :: Foldable t => t (Visibility, SExp' t1) -> SExp' t1 -> SExp' t1 Source

getApps :: SExp' t -> (SExp' t, [(Visibility, SExp' t)]) Source

apps' :: Foldable t => SExp' a -> t (Visibility, SExp' a) -> SExp' a Source

downToS :: [Char] -> Int -> Int -> [SExp' t] Source

addForalls :: Up a => Extensions -> [SName] -> SExp' a -> SExp' a Source

class Up a where Source

Minimal complete definition

fold, maxDB_

Methods

up_ :: Int -> Int -> a -> a Source

up1_ :: Int -> a -> a Source

fold :: Monoid e => (Int -> Int -> e) -> Int -> a -> e Source

used :: Int -> a -> Bool Source

maxDB_ :: a -> MaxDB Source

closedExp :: a -> a Source

Instances

Up Neutral Source
Up Exp Source
Up a => Up (SExp' a) Source
(Up a, Up b) => Up (a, b) Source

up1 :: Up a => a -> a Source

up :: Up a => Int -> a -> a Source

type Doc = NameDB PrecString Source

shLam :: (MonadReader [[Char]] m, MonadState [[Char]] m) => Bool -> Binder -> PS [Char] -> m (PS String) -> m (PS String) Source

shApp :: Visibility -> PrecString -> PS String -> PS String Source

shLet :: MonadReader [[Char]] m => Int -> m (PS String) -> m (PS [Char]) -> m (PS String) Source

shLet_ :: (MonadReader [String] m, MonadState [String] m) => m (PS String) -> m (PS [Char]) -> m (PS String) Source

shAtom :: a -> PS a Source

shAnn :: [Char] -> Bool -> PS [Char] -> PS [Char] -> PS [Char] Source

shVar :: MonadReader [[Char]] m => Int -> m [Char] Source

epar :: Functor f => f [Char] -> f [Char] Source

showDoc :: Doc -> String Source

showDoc_ :: Doc -> Doc Source

sExpDoc :: Up a => SExp' a -> Doc Source

shCstr :: PS String -> PS String -> PS String Source

shTuple :: IsString [a] => [PS [a]] -> PS [a] Source

mtrace :: Monad m => String -> m () Source

sortDefs :: t -> [Stmt] -> [Stmt] Source

trSExp' :: SExp' Void -> SExp' b Source

usedS :: SIName -> SExp' t -> Bool Source

substSG0 :: Up a => SIName -> SExp' a -> SExp' a Source

substS :: Up a => Int -> a -> SExp' a -> SExp' a Source

data Stmt Source

Constructors

Let SIName (Maybe SExp) SExp
Data SIName [(Visibility, SExp)] SExp Bool [(SIName, SExp)]
PrecDef SIName Fixity
TypeFamily SIName [(Visibility, SExp)] SExp
Class SIName [SExp] [(SIName, SExp)]
Instance SIName [Pat] [SExp] [Stmt]
TypeAnn SIName SExp
FunAlt SIName [((Visibility, SExp), Pat)] (Either [(SExp, SExp)] SExp)

Instances

Show Stmt Source

data Export Source

Constructors

ExportModule SIName
ExportId SIName

data ImportItems Source

Constructors

ImportAllBut [SIName]
ImportJust [SIName]