A

Documentation

data E a

Constructors

Column

Fields

• eLoc :: a
• col :: Int

IParseCol

Fields

• eLoc :: a
• col :: Int

FParseCol

Fields

• eLoc :: a
• col :: Int

ParseCol

Fields

• eLoc :: a
• col :: Int

Field

Fields

• eLoc :: a
• eField :: Int

LastField

Fields

• eLoc :: a

FieldList

Fields

• eLoc :: a

AllField

Think $0 in awk.

Fields

• eLoc :: a

AllColumn

Think $0 in awk.

Fields

• eLoc :: a

IParseAllCol

$0, parsed as an integer

Fields

• eLoc :: a

FParseAllCol

$0, parsed as a float

Fields

• eLoc :: a

ParseAllCol

Fields

• eLoc :: a

EApp

Fields

• eLoc :: a
• eApp0 :: E a
• eApp1 :: E a

Guarded

Fields

• eLoc :: a
• eP :: E a
• eGuarded :: E a

Implicit

Fields

• eLoc :: a
• eImplicit :: E a

Let

Fields

• eLoc :: a
• eBind :: (Nm a, E a)
• eE :: E a

Var

Fields

• eLoc :: a
• eVar :: !(Nm a)

F

Fields

• hole :: !(Nm a)

Lit

Fields

• eLoc :: a
• lit :: !L

RegexLit

Fields

• eLoc :: a
• eRr :: ByteString

Lam

Fields

• eLoc :: a
• eBound :: Nm a
• lamE :: E a

Dfn

Fields

• eLoc :: a
• eDfn :: E a

BB

Fields

• eLoc :: a
• eBin :: BBin

TB

Fields

• eLoc :: a
• eTer :: BTer

UB

Fields

• eLoc :: a
• eUn :: BUn

NB

Fields

• eLoc :: a
• eNil :: N

Tup

Fields

• eLoc :: a
• esTup :: [E a]

Rec

Fields

• eLoc :: a
• esR :: [(Nm a, E a)]

ResVar

Fields

• eLoc :: a
• dfnVar :: DfnVar

RC RurePtr

Arr

Fields

• eLoc :: a
• elems :: !(Vector (E a))

Anchor

Fields

• eLoc :: a
• eAnchored :: [E a]

Paren

Fields

• eLoc :: a
• eExpr :: E a

OptionVal

Fields

• eLoc :: a
• eMaybe :: Maybe (E a)

Cond

Fields

• eLoc :: a
• eIf :: E a
• eThen :: E a
• eElse :: E a

RwB

Fields

• eLoc :: a
• eBin :: BBin

RwT

Fields

• eLoc :: a
• eTer :: BTer

Instances

Functor E

Defined in A

Methods

fmap :: (a -> b) -> E a -> E b

(<$) :: a -> E b -> E a

Show (E a)

Defined in A

Methods

showsPrec :: Int -> E a -> ShowS

show :: E a -> String

showList :: [E a] -> ShowS

Eq (E a)

Defined in A

Methods

(==) :: E a -> E a -> Bool

(/=) :: E a -> E a -> Bool

Pretty (E a)

Defined in A

Methods

pretty :: E a -> Doc ann

prettyList :: [E a] -> Doc ann

data T

Constructors

TyB

Fields

• tyBuiltin :: TB

(:$) infixr 0

Fields

• tyApp0 :: T
• tyApp1 :: T

TyArr

Fields

• tyArr0 :: T
• tyArr1 :: T

TyVar

Fields

• tyVar :: Nm ()

TyTup

Fields

• tyTups :: [T]

TyRec

Fields

• tyres :: NmMap T

Rho

Fields

• tyRho :: Nm ()
• tyArms :: IntMap T

Ρ

Fields

• tyΡ :: Nm ()
• tyρs :: NmMap T

Instances

Show T

Defined in A

Methods

showsPrec :: Int -> T -> ShowS

show :: T -> String

showList :: [T] -> ShowS

Eq T

Defined in A

Methods

(==) :: T -> T -> Bool

(/=) :: T -> T -> Bool

Pretty T

Defined in A

Methods

pretty :: T -> Doc ann

prettyList :: [T] -> Doc ann

(~>) :: T -> T -> T infixr 0

data TB

Constructors

TyI

TyFloat

TyStr

TyStream

TyVec

TyOption

TyR

TyBool

TyUnit

Instances

Show TB

Defined in A

Methods

showsPrec :: Int -> TB -> ShowS

show :: TB -> String

showList :: [TB] -> ShowS

Eq TB

Defined in A

Methods

(==) :: TB -> TB -> Bool

(/=) :: TB -> TB -> Bool

Ord TB

Defined in A

Methods

compare :: TB -> TB -> Ordering

(<) :: TB -> TB -> Bool

(<=) :: TB -> TB -> Bool

(>) :: TB -> TB -> Bool

(>=) :: TB -> TB -> Bool

max :: TB -> TB -> TB

min :: TB -> TB -> TB

Pretty TB

Defined in A

Methods

pretty :: TB -> Doc ann

prettyList :: [TB] -> Doc ann

data C

Constructors

IsNum

IsEq

IsOrd

IsParse

IsPrintf

IsSemigroup

IsMonoid

Functor

For map (")

Foldable

Witherable

Instances

Show C

Defined in A

Methods

showsPrec :: Int -> C -> ShowS

show :: C -> String

showList :: [C] -> ShowS

Eq C

Defined in A

Methods

(==) :: C -> C -> Bool

(/=) :: C -> C -> Bool

Ord C

Defined in A

Methods

compare :: C -> C -> Ordering

(<) :: C -> C -> Bool

(<=) :: C -> C -> Bool

(>) :: C -> C -> Bool

(>=) :: C -> C -> Bool

max :: C -> C -> C

min :: C -> C -> C

Pretty C

Defined in A

Methods

pretty :: C -> Doc ann

prettyList :: [C] -> Doc ann

data L

Constructors

ILit !Integer

FLit !Double

BLit !Bool

StrLit ByteString

Instances

NFData L

Defined in A

Methods

rnf :: L -> ()

Generic L

Defined in A

Associated Types

type Rep L

Defined in A

type Rep L = D1 ('MetaData "L" "A" "jacinda-3.2.0.1-inplace-jacinda-lib" 'False) ((C1 ('MetaCons "ILit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: C1 ('MetaCons "FLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))) :+: (C1 ('MetaCons "BLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "StrLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

Methods

from :: L -> Rep L x

to :: Rep L x -> L

Eq L

Defined in A

Methods

(==) :: L -> L -> Bool

(/=) :: L -> L -> Bool

Pretty L

Defined in A

Methods

pretty :: L -> Doc ann

prettyList :: [L] -> Doc ann

type Rep L

Defined in A

type Rep L = D1 ('MetaData "L" "A" "jacinda-3.2.0.1-inplace-jacinda-lib" 'False) ((C1 ('MetaCons "ILit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: C1 ('MetaCons "FLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double))) :+: (C1 ('MetaCons "BLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :+: C1 ('MetaCons "StrLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

data N

Constructors

Ix

Nf

None

Fp

MZ

Instances

Eq N

Defined in A

Methods

(==) :: N -> N -> Bool

(/=) :: N -> N -> Bool

Pretty N

Defined in A

Methods

pretty :: N -> Doc ann

prettyList :: [N] -> Doc ann

data BBin

Constructors

Plus

Times

Div

Minus

Exp

Eq

Neq

Geq

Gt

Lt

Leq

Map

Matches

string ~ pat

NotMatches

MMatch

And

Or

Min

Max

Split

Splitc

Prior

DedupOn

MapMaybe

Filter

Fold1

Match

Sprintf

Report

Take

Drop

Rein

Nier

Instances

Eq BBin

Defined in A

Methods

(==) :: BBin -> BBin -> Bool

(/=) :: BBin -> BBin -> Bool

Pretty BBin

Defined in A

Methods

pretty :: BBin -> Doc ann

prettyList :: [BBin] -> Doc ann

data BTer

Constructors

ZipW

Fold

Scan

ScanList

Substr

Sub1

Subs

Option

Captures

AllCaptures

Ixes

Bookend

Instances

Eq BTer

Defined in A

Methods

(==) :: BTer -> BTer -> Bool

(/=) :: BTer -> BTer -> Bool

Pretty BTer

Defined in A

Methods

pretty :: BTer -> Doc ann

prettyList :: [BTer] -> Doc ann

data BUn

Constructors

Tally

Const

Not

Boolean

At !Int

Select !Int

SelR !(Nm ())

IParse

FParse

Parse

Floor

Ceiling

Some

Dedup

CatMaybes

Negate

TallyList

Head

Tail

Init

Last

Instances

Eq BUn

Defined in A

Methods

(==) :: BUn -> BUn -> Bool

(/=) :: BUn -> BUn -> Bool

Pretty BUn

Defined in A

Methods

pretty :: BUn -> Doc ann

prettyList :: [BUn] -> Doc ann

data DfnVar

Constructors

X

Y

Instances

Eq DfnVar

Defined in A

Methods

(==) :: DfnVar -> DfnVar -> Bool

(/=) :: DfnVar -> DfnVar -> Bool

Pretty DfnVar

Defined in A

Methods

pretty :: DfnVar -> Doc ann

prettyList :: [DfnVar] -> Doc ann

data D a

Constructors

SetFS Text

SetRS Text

FunDecl (Nm a) [Nm a] (E a)

FlushDecl

SetAsv

SetUsv

SetCsv

SetOFS Text

SetORS Text

Instances

Functor D

Defined in A

Methods

fmap :: (a -> b) -> D a -> D b

(<$) :: a -> D b -> D a

Pretty (D a)

Defined in A

Methods

pretty :: D a -> Doc ann

prettyList :: [D a] -> Doc ann

data Program a

Constructors

Program

Fields

• decls :: [D a]
• expr :: E a

Instances

Functor Program

Defined in A

Methods

fmap :: (a -> b) -> Program a -> Program b

(<$) :: a -> Program b -> Program a

Show (Program a)

Defined in A

Methods

showsPrec :: Int -> Program a -> ShowS

show :: Program a -> String

showList :: [Program a] -> ShowS

Pretty (Program a)

Defined in A

Methods

pretty :: Program a -> Doc ann

prettyList :: [Program a] -> Doc ann

data Mode

Constructors

CSV

AWK (Maybe Text) (Maybe Text)

mapExpr :: (E a -> E a) -> Program a -> Program a

getS :: Program a -> Mode

flushD :: Program a -> Bool