Safe Haskell	None
Language	Haskell2010

LambdaCube.Compiler.DesugaredSource

Documentation

type SName = String Source #

pattern Ticked :: SName -> SName Source #

untick :: SName -> SName Source #

switchTick :: SName -> SName Source #

pattern CaseName :: SName -> SName Source #

pattern MatchName :: SName -> SName Source #

newtype SPos Source #

Constructors

SPos_ Int

Instances

Eq SPos Source #
Methods (==) :: SPos -> SPos -> Bool # (/=) :: SPos -> SPos -> Bool #
Ord SPos Source #
Methods compare :: SPos -> SPos -> Ordering # (<) :: SPos -> SPos -> Bool # (<=) :: SPos -> SPos -> Bool # (>) :: SPos -> SPos -> Bool # (>=) :: SPos -> SPos -> Bool # max :: SPos -> SPos -> SPos # min :: SPos -> SPos -> SPos #
PShow SPos Source #
Methods pShow :: SPos -> Doc Source #

row :: SPos -> Int Source #

column :: SPos -> Int Source #

pattern SPos :: Int -> Int -> SPos Source #

data FileInfo Source #

Constructors

FileInfo
Fields fileId :: !Int filePath :: FilePath fileModule :: String fileContent :: String

Instances

Eq FileInfo Source #
Methods (==) :: FileInfo -> FileInfo -> Bool # (/=) :: FileInfo -> FileInfo -> Bool #
Ord FileInfo Source #
Methods compare :: FileInfo -> FileInfo -> Ordering # (<) :: FileInfo -> FileInfo -> Bool # (<=) :: FileInfo -> FileInfo -> Bool # (>) :: FileInfo -> FileInfo -> Bool # (>=) :: FileInfo -> FileInfo -> Bool # max :: FileInfo -> FileInfo -> FileInfo # min :: FileInfo -> FileInfo -> FileInfo #
PShow FileInfo Source #
Methods pShow :: FileInfo -> Doc Source #

showPos :: FileInfo -> SPos -> Doc Source #

data Range Source #

Constructors

Range
Fields rangeFile :: !FileInfo rangeStart :: !SPos rangeStop :: !SPos

Instances

Eq Range Source #
Methods (==) :: Range -> Range -> Bool # (/=) :: Range -> Range -> Bool #
Ord Range Source #
Methods compare :: Range -> Range -> Ordering # (<) :: Range -> Range -> Bool # (<=) :: Range -> Range -> Bool # (>) :: Range -> Range -> Bool # (>=) :: Range -> Range -> Bool # max :: Range -> Range -> Range # min :: Range -> Range -> Range #
Show Range Source #
Methods showsPrec :: Int -> Range -> ShowS # show :: Range -> String # showList :: [Range] -> ShowS #
PShow Range Source #
Methods pShow :: Range -> Doc Source #

showRangeWithoutFileName :: Range -> Doc Source #

joinRange :: Range -> Range -> Range Source #

data SI Source #

Constructors

NoSI (Set String)
RangeSI Range

Instances

Eq SI Source #
Methods (==) :: SI -> SI -> Bool # (/=) :: SI -> SI -> Bool #
Ord SI Source #
Methods compare :: SI -> SI -> Ordering # (<) :: SI -> SI -> Bool # (<=) :: SI -> SI -> Bool # (>) :: SI -> SI -> Bool # (>=) :: SI -> SI -> Bool # max :: SI -> SI -> SI # min :: SI -> SI -> SI #
Monoid SI Source #
Methods mempty :: SI # mappend :: SI -> SI -> SI # mconcat :: [SI] -> SI #
PShow SI Source #
Methods pShow :: SI -> Doc Source #
SourceInfo SI Source #
Methods sourceInfo :: SI -> SI Source #

getRange :: SI -> Maybe Range Source #

hashPos :: FileInfo -> SPos -> Int Source #

debugSI :: String -> SI Source #

validate :: SI -> [SI] -> SI Source #

class SourceInfo a where Source #

Minimal complete definition

sourceInfo

Methods

sourceInfo :: a -> SI Source #

Instances

SourceInfo SIName Source #
Methods sourceInfo :: SIName -> SI Source #
SourceInfo SI Source #
Methods sourceInfo :: SI -> SI Source #
SourceInfo si => SourceInfo [si] Source #
Methods sourceInfo :: [si] -> SI Source #
SourceInfo (SExp' a) Source #
Methods sourceInfo :: SExp' a -> SI Source #
SourceInfo (ParPat_ c) Source #
Methods sourceInfo :: ParPat_ c -> SI Source #
SourceInfo (Pat_ c) Source #
Methods sourceInfo :: Pat_ c -> SI Source #

class SetSourceInfo a where Source #

Minimal complete definition

setSI

Methods

setSI :: SI -> a -> a Source #

Instances

SetSourceInfo SExp Source #
Methods setSI :: SI -> SExp -> SExp Source #
SetSourceInfo SIName Source #
Methods setSI :: SI -> SIName -> SIName Source #
SetSourceInfo (ParPat_ c) Source #
Methods setSI :: SI -> ParPat_ c -> ParPat_ c Source #
SetSourceInfo (Pat_ c) Source #
Methods setSI :: SI -> Pat_ c -> Pat_ c Source #

data SIName Source #

Constructors

SIName__
Fields nameHash :: Int nameSI :: SI nameFixity :: Maybe Fixity sName :: SName

Instances

Eq SIName Source #
Methods (==) :: SIName -> SIName -> Bool # (/=) :: SIName -> SIName -> Bool #
Ord SIName Source #
Methods compare :: SIName -> SIName -> Ordering # (<) :: SIName -> SIName -> Bool # (<=) :: SIName -> SIName -> Bool # (>) :: SIName -> SIName -> Bool # (>=) :: SIName -> SIName -> Bool # max :: SIName -> SIName -> SIName # min :: SIName -> SIName -> SIName #
Show SIName Source #
Methods showsPrec :: Int -> SIName -> ShowS # show :: SIName -> String # showList :: [SIName] -> ShowS #
PShow SIName Source #
Methods pShow :: SIName -> Doc Source #
Rearrange ParPat Source #
Methods rearrange :: Int -> RearrangeFun -> ParPat -> ParPat Source #
Rearrange Pat Source #
Methods rearrange :: Int -> RearrangeFun -> Pat -> Pat Source #
SetSourceInfo SIName Source #
Methods setSI :: SI -> SIName -> SIName Source #
SourceInfo SIName Source #
Methods sourceInfo :: SIName -> SI Source #
PatVars ParPat Source #
Methods getPVars :: ParPat -> [SIName] Source #
PatVars Pat Source #
Methods getPVars :: Pat -> [SIName] Source #
DeBruijnify SIName Stmt Source #
Methods deBruijnify_ :: Int -> [SIName] -> Stmt -> Stmt Source #
DeBruijnify SIName SExp Source #
Methods deBruijnify_ :: Int -> [SIName] -> SExp -> SExp Source #
DeBruijnify SIName GuardTree Source #
Methods deBruijnify_ :: Int -> [SIName] -> GuardTree -> GuardTree Source #
DeBruijnify SIName ParPat Source #
Methods deBruijnify_ :: Int -> [SIName] -> ParPat -> ParPat Source #
DeBruijnify SIName PreStmt Source #
Methods deBruijnify_ :: Int -> [SIName] -> PreStmt -> PreStmt Source #
DeBruijnify SIName a => DeBruijnify SIName (Lets a) Source #
Methods deBruijnify_ :: Int -> [SIName] -> Lets a -> Lets a Source #

pattern SIName_ :: SI -> Maybe Fixity -> SName -> SIName Source #

pattern SIName :: SI -> SName -> SIName Source #

newtype FName Source #

Constructors

FName
Fields fName :: SIName

Instances

Eq FName Source #
Methods (==) :: FName -> FName -> Bool # (/=) :: FName -> FName -> Bool #
Ord FName Source #
Methods compare :: FName -> FName -> Ordering # (<) :: FName -> FName -> Bool # (<=) :: FName -> FName -> Bool # (>) :: FName -> FName -> Bool # (>=) :: FName -> FName -> Bool # max :: FName -> FName -> FName # min :: FName -> FName -> FName #
Show FName Source #
Methods showsPrec :: Int -> FName -> ShowS # show :: FName -> String # showList :: [FName] -> ShowS #
PShow FName Source #
Methods pShow :: FName -> Doc Source #

data FNameTag Source #

Constructors

F'Type
F'Empty
F'Unit
FTT
F'Constraint
FCUnit
FCEmpty
F'Nat
FZero
FSucc
F'Bool
FFalse
FTrue
F'Ordering
FLT
FGT
FEQ
F'List
FNil
FCons
F'HList
FHCons
FHNil
F'VecS
FV2
FV3
FV4
FRecordCons
FRecItem
FSx
FSy
FSz
FSw
F'Int
F'Word
F'Float
F'String
F'Char
F'Output
F'T2
F'EqCT
F'CW
F'Split
F'VecScalar
Fcoe
FparEval
Ft2C
FprimFix
Fparens
FtypeAnn
Fundefined
Fotherwise
FprimIfThenElse
FfromTo
FconcatMap
FfromInt
Fproject
Fswizzscalar
Fswizzvector
FunsafeCoerce
FreflCstr
FhlistNilCase
FhlistConsCase
FprimAddInt
FprimSubInt
FprimModInt
FprimSqrtFloat
FprimRound
FprimIntToFloat
FprimIntToNat
FprimCompareInt
FprimCompareFloat
FprimCompareChar
FprimCompareString
FPrimGreaterThan
FPrimGreaterThanEqual
FPrimLessThan
FPrimLessThanEqual
FPrimEqualV
FPrimNotEqualV
FPrimEqual
FPrimNotEqual
FPrimSubS
FPrimSub
FPrimAddS
FPrimAdd
FPrimMulS
FPrimMul
FPrimDivS
FPrimDiv
FPrimModS
FPrimMod
FPrimNeg
FPrimAnd
FPrimOr
FPrimXor
FPrimNot
F_rhs
F_section

Instances

Bounded FNameTag Source #
Methods minBound :: FNameTag # maxBound :: FNameTag #
Enum FNameTag Source #
Methods succ :: FNameTag -> FNameTag # pred :: FNameTag -> FNameTag # toEnum :: Int -> FNameTag # fromEnum :: FNameTag -> Int # enumFrom :: FNameTag -> [FNameTag] # enumFromThen :: FNameTag -> FNameTag -> [FNameTag] # enumFromTo :: FNameTag -> FNameTag -> [FNameTag] # enumFromThenTo :: FNameTag -> FNameTag -> FNameTag -> [FNameTag] #
Eq FNameTag Source #
Methods (==) :: FNameTag -> FNameTag -> Bool # (/=) :: FNameTag -> FNameTag -> Bool #
Ord FNameTag Source #
Methods compare :: FNameTag -> FNameTag -> Ordering # (<) :: FNameTag -> FNameTag -> Bool # (<=) :: FNameTag -> FNameTag -> Bool # (>) :: FNameTag -> FNameTag -> Bool # (>=) :: FNameTag -> FNameTag -> Bool # max :: FNameTag -> FNameTag -> FNameTag # min :: FNameTag -> FNameTag -> FNameTag #
Show FNameTag Source #
Methods showsPrec :: Int -> FNameTag -> ShowS # show :: FNameTag -> String # showList :: [FNameTag] -> ShowS #

tagName :: FNameTag -> [Char] Source #

pattern Tag :: FNameTag -> SIName Source #

pattern FTag :: FNameTag -> FName Source #

toTag :: Enum a => Int -> Maybe a Source #

tagFixity :: FNameTag -> Maybe Fixity Source #

tagSI :: FNameTag -> SI Source #

fnameHash :: SI -> SName -> Int Source #

fntable :: Map String FNameTag Source #

data Lit Source #

Constructors

LInt Integer
LChar Char
LFloat Double
LString String

Instances

Eq Lit Source #
Methods (==) :: Lit -> Lit -> Bool # (/=) :: Lit -> Lit -> Bool #
PShow Lit Source #
Methods pShow :: Lit -> Doc Source #
NType Lit Source #
Methods nType :: Lit -> Type Source #

data SExp' a Source #

Constructors

SLit SI Lit
SGlobal SIName
SApp_ SI Visibility (SExp' a) (SExp' a)
SBind_ SI Binder (SData SIName) (SExp' a) (SExp' a)
SVar_ (SData SIName) !Int
SLet_ SI (SData SIName) (SExp' a) (SExp' a)
SLHS SIName (SExp' a)
STyped a

Instances

SetSourceInfo SExp Source #
Methods setSI :: SI -> SExp -> SExp Source #
DeBruijnify SIName SExp Source #
Methods deBruijnify_ :: Int -> [SIName] -> SExp -> SExp Source #
Subst ExpType SExp2 Source #
Methods subst_ :: Int -> FreeVars -> ExpType -> SExp2 -> SExp2 Source #
Eq a => Eq (SExp' a) Source #
Methods (==) :: SExp' a -> SExp' a -> Bool # (/=) :: SExp' a -> SExp' a -> Bool #
(HasFreeVars a, PShow a) => PShow (SExp' a) Source #
Methods pShow :: SExp' a -> Doc Source #
HasFreeVars a => HasFreeVars (SExp' a) Source #
Methods getFreeVars :: SExp' a -> FreeVars Source #
Rearrange a => Rearrange (SExp' a) Source #
Methods rearrange :: Int -> RearrangeFun -> SExp' a -> SExp' a Source #
SourceInfo (SExp' a) Source #
Methods sourceInfo :: SExp' a -> SI Source #

sLHS :: SIName -> SExp' a -> SExp' a Source #

type SExp = SExp' Void Source #

data Binder Source #

Constructors

BPi Visibility
BLam Visibility
BMeta

Instances

Eq Binder Source #
Methods (==) :: Binder -> Binder -> Bool # (/=) :: Binder -> Binder -> Bool #
PShow Binder Source #
Methods pShow :: Binder -> Doc Source #

data Visibility Source #

Constructors

Hidden
Visible

Instances

Eq Visibility Source #
Methods (==) :: Visibility -> Visibility -> Bool # (/=) :: Visibility -> Visibility -> Bool #
PShow Visibility Source #
Methods pShow :: Visibility -> Doc Source #

dummyName :: String -> SIName Source #

dummyName' :: String -> SData SIName Source #

sVar :: String -> Int -> SExp' t Source #

pattern SBind :: forall t. Binder -> SData SIName -> SExp' t -> SExp' t -> SExp' t Source #

pattern SPi :: forall t. Visibility -> SExp' t -> SExp' t -> SExp' t Source #

pattern SLam :: forall t. Visibility -> SExp' t -> SExp' t -> SExp' t Source #

pattern Wildcard :: forall t. SExp' t -> SExp' t Source #

pattern SLet :: forall t. SIName -> SExp' t -> SExp' t -> SExp' t Source #

pattern SLamV :: forall t. SExp' t -> SExp' t Source #

pattern SVar :: forall t. SIName -> Int -> SExp' t Source #

pattern SApp :: forall t. Visibility -> SExp' t -> SExp' t -> SExp' t Source #

pattern SAppH :: forall t. SExp' t -> SExp' t -> SExp' t infixl 2 Source #

pattern SAppV :: forall t. SExp' t -> SExp' t -> SExp' t infixl 2 Source #

pattern SAppV2 :: forall t. SExp' t -> SExp' t -> SExp' t -> SExp' t Source #

pattern SBuiltin :: forall t. FNameTag -> SExp' t Source #

pattern SRHS :: forall t. SExp' t -> SExp' t Source #

pattern Section :: forall t. SExp' t -> SExp' t Source #

pattern SType :: forall t. SExp' t Source #

pattern SConstraint :: forall t. SExp' t Source #

pattern Parens :: forall t. SExp' t -> SExp' t Source #

pattern SAnn :: forall t. SExp' t -> SExp' t -> SExp' t Source #

pattern TyType :: forall t. SExp' t -> SExp' t Source #

pattern SCW :: forall t. SExp' t -> SExp' t Source #

pattern HList :: forall t. SExp' t -> SExp' t Source #

pattern HCons :: forall t. SExp' t -> SExp' t -> SExp' t Source #

pattern HNil :: forall t. SExp' t Source #

pattern BList :: forall t. SExp' t -> SExp' t Source #

pattern BCons :: forall t. SExp' t -> SExp' t -> SExp' t Source #

pattern BNil :: forall t. SExp' t Source #

getTTuple :: SExp' t -> [SExp' t] Source #

getList :: SExp' t -> Maybe [SExp' t] Source #

sLit :: Lit -> SExp' a Source #

isPi :: Binder -> Bool Source #

pattern UncurryS :: forall a. [(Visibility, SExp' a)] -> SExp' a -> SExp' a Source #

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

pattern AppsS :: forall a. SExp' a -> [(Visibility, SExp' a)] -> SExp' a Source #

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

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

foldS :: Monoid m => (Int -> t -> m) -> (SIName -> Int -> m) -> (SIName -> Int -> Int -> m) -> Int -> SExp' t -> m Source #

foldName :: Monoid m => (SIName -> m) -> SExp' Void -> m Source #

usedS :: SIName -> SExp -> Bool Source #

mapS :: (Int -> a -> SExp' a) -> (SIName -> Int -> SExp' a) -> (SIName -> Int -> Int -> SExp' a) -> Int -> SExp' a -> SExp' a Source #

trSExp :: (a -> b) -> SExp' a -> SExp' b Source #

trSExp' :: SExp -> SExp' a Source #

shApp :: Visibility -> Doc -> Doc -> Doc Source #

usedVar' :: HasFreeVars a1 => Int -> a1 -> a -> Maybe a Source #

shLam :: Maybe String -> Binder -> Doc -> Doc -> Doc Source #

simpleFo :: Doc -> Doc Source #

shLam_ :: Maybe String -> Binder -> Maybe Doc -> Doc -> Doc Source #

showLam :: Doc -> Doc -> Doc Source #

shLet :: Int -> Doc -> Doc -> Doc Source #

showLet :: Doc -> Doc -> Doc Source #

shLet_ :: Doc -> Doc -> Doc Source #

data Stmt Source #

Constructors

StmtLet SIName SExp
Data SIName [(Visibility, SExp)] SExp [(SIName, SExp)]
PrecDef SIName Fixity

Instances

PShow Stmt Source #
Methods pShow :: Stmt -> Doc Source #
DeBruijnify SIName Stmt Source #
Methods deBruijnify_ :: Int -> [SIName] -> Stmt -> Stmt Source #

pattern StLet :: SIName -> Maybe (SExp' Void) -> SExp' Void -> Stmt Source #

getSAnn :: SExp' t -> (SExp' t, Maybe (SExp' t)) Source #

pattern Primitive :: SIName -> SExp' Void -> Stmt Source #

data Module_ a Source #

Constructors

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

data Export Source #

Constructors

ExportModule SIName
ExportId SIName

data ImportItems Source #

Constructors

ImportAllBut [SIName]
ImportJust [SIName]

type Extensions = [Extension] Source #

data Extension Source #

Constructors

NoImplicitPrelude
TraceTypeCheck

Instances

Enum Extension Source #
Methods succ :: Extension -> Extension # pred :: Extension -> Extension # toEnum :: Int -> Extension # fromEnum :: Extension -> Int # enumFrom :: Extension -> [Extension] # enumFromThen :: Extension -> Extension -> [Extension] # enumFromTo :: Extension -> Extension -> [Extension] # enumFromThenTo :: Extension -> Extension -> Extension -> [Extension] #
Eq Extension Source #
Methods (==) :: Extension -> Extension -> Bool # (/=) :: Extension -> Extension -> Bool #
Ord Extension Source #
Methods compare :: Extension -> Extension -> Ordering # (<) :: Extension -> Extension -> Bool # (<=) :: Extension -> Extension -> Bool # (>) :: Extension -> Extension -> Bool # (>=) :: Extension -> Extension -> Bool # max :: Extension -> Extension -> Extension # min :: Extension -> Extension -> Extension #
Show Extension Source #
Methods showsPrec :: Int -> Extension -> ShowS # show :: Extension -> String # showList :: [Extension] -> ShowS #

extensionMap :: Map String Extension Source #

data Fixity Source #

Constructors

Infix !Int
InfixL !Int
InfixR !Int

Instances

Eq Fixity Source #
Methods (==) :: Fixity -> Fixity -> Bool # (/=) :: Fixity -> Fixity -> Bool #
PShow Fixity Source #
Methods pShow :: Fixity -> Doc Source #