Copyright	(c) Edward Kmett 2017
License	BSD2
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Coda.Syntax.Dyck

Description

Synopsis

Documentation

data Dyck Source #

Dyck l ms r s k e

k indicates if the last token was a layout keyword, and if so can provide a numerical indicator as to which one. 0 means either no it wasn't or that we haven't seen a

Constructors

Dyck !(Cat Closing) !(Cat Token) !(Rev Cat Opening) !(Cat Token) !LayoutMode !(Cat MismatchError)

Instances

Eq Dyck Source #
Methods (==) :: Dyck -> Dyck -> Bool # (/=) :: Dyck -> Dyck -> Bool #
Ord Dyck Source #
Methods compare :: Dyck -> Dyck -> Ordering # (<) :: Dyck -> Dyck -> Bool # (<=) :: Dyck -> Dyck -> Bool # (>) :: Dyck -> Dyck -> Bool # (>=) :: Dyck -> Dyck -> Bool # max :: Dyck -> Dyck -> Dyck # min :: Dyck -> Dyck -> Dyck #
Read Dyck Source #
Methods readsPrec :: Int -> ReadS Dyck # readList :: ReadS [Dyck] # readPrec :: ReadPrec Dyck # readListPrec :: ReadPrec [Dyck] #
Show Dyck Source #
Methods showsPrec :: Int -> Dyck -> ShowS # show :: Dyck -> String # showList :: [Dyck] -> ShowS #
Generic Dyck Source #
Associated Types type Rep Dyck :: * -> * # Methods from :: Dyck -> Rep Dyck x # to :: Rep Dyck x -> Dyck #
Semigroup Dyck Source #	O(k) in the number of canceled contexts Note: positions are not shifted, so you'll need to use this inside a semi-direct product with Delta.
Methods (<>) :: Dyck -> Dyck -> Dyck # sconcat :: NonEmpty Dyck -> Dyck # stimes :: Integral b => b -> Dyck -> Dyck #
Monoid Dyck Source #
Methods mempty :: Dyck # mappend :: Dyck -> Dyck -> Dyck # mconcat :: [Dyck] -> Dyck #
Default Dyck Source #
Methods def :: Dyck
RelativeMonoid Dyck Source #

Relative Dyck Source #
Methods rel :: Delta -> Dyck -> Dyck Source #
type Rep Dyck Source #
type Rep Dyck = D1 * (MetaData "Dyck" "Coda.Syntax.Dyck" "coda-0.0.1-Lrfl9CggVgIC7W2mVql1dH" False) (C1 * (MetaCons "Dyck" PrefixI False) ((::) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Cat Closing))) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Cat Token))) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Rev Cat Opening))))) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Cat Token))) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * LayoutMode)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Cat MismatchError)))))))

data Opening Source #

Constructors

Opening !LocatedPair !(Cat Token)

Instances

Eq Opening Source #
Methods (==) :: Opening -> Opening -> Bool # (/=) :: Opening -> Opening -> Bool #
Ord Opening Source #
Methods compare :: Opening -> Opening -> Ordering # (<) :: Opening -> Opening -> Bool # (<=) :: Opening -> Opening -> Bool # (>) :: Opening -> Opening -> Bool # (>=) :: Opening -> Opening -> Bool # max :: Opening -> Opening -> Opening # min :: Opening -> Opening -> Opening #
Read Opening Source #
Methods readsPrec :: Int -> ReadS Opening # readList :: ReadS [Opening] # readPrec :: ReadPrec Opening # readListPrec :: ReadPrec [Opening] #
Show Opening Source #
Methods showsPrec :: Int -> Opening -> ShowS # show :: Opening -> String # showList :: [Opening] -> ShowS #
Generic Opening Source #
Associated Types type Rep Opening :: * -> * # Methods from :: Opening -> Rep Opening x # to :: Rep Opening x -> Opening #
Relative Opening Source #
Methods rel :: Delta -> Opening -> Opening Source #
type Rep Opening Source #
type Rep Opening = D1 * (MetaData "Opening" "Coda.Syntax.Dyck" "coda-0.0.1-Lrfl9CggVgIC7W2mVql1dH" False) (C1 * (MetaCons "Opening" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 * LocatedPair)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Cat Token)))))

data Closing Source #

Constructors

Closing !(Cat Token) !LocatedPair

Instances

Eq Closing Source #
Methods (==) :: Closing -> Closing -> Bool # (/=) :: Closing -> Closing -> Bool #
Ord Closing Source #
Methods compare :: Closing -> Closing -> Ordering # (<) :: Closing -> Closing -> Bool # (<=) :: Closing -> Closing -> Bool # (>) :: Closing -> Closing -> Bool # (>=) :: Closing -> Closing -> Bool # max :: Closing -> Closing -> Closing # min :: Closing -> Closing -> Closing #
Read Closing Source #
Methods readsPrec :: Int -> ReadS Closing # readList :: ReadS [Closing] # readPrec :: ReadPrec Closing # readListPrec :: ReadPrec [Closing] #
Show Closing Source #
Methods showsPrec :: Int -> Closing -> ShowS # show :: Closing -> String # showList :: [Closing] -> ShowS #
Generic Closing Source #
Associated Types type Rep Closing :: * -> * # Methods from :: Closing -> Rep Closing x # to :: Rep Closing x -> Closing #
Relative Closing Source #
Methods rel :: Delta -> Closing -> Closing Source #
type Rep Closing Source #
type Rep Closing = D1 * (MetaData "Closing" "Coda.Syntax.Dyck" "coda-0.0.1-Lrfl9CggVgIC7W2mVql1dH" False) (C1 * (MetaCons "Closing" PrefixI False) ((::) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Cat Token))) (S1 * (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 * LocatedPair))))

type LocatedPair = Located Pair Source #

data MismatchError Source #

Constructors

MismatchError !LocatedPair !LocatedPair

Instances

Eq MismatchError Source #
Methods (==) :: MismatchError -> MismatchError -> Bool # (/=) :: MismatchError -> MismatchError -> Bool #
Ord MismatchError Source #
Methods compare :: MismatchError -> MismatchError -> Ordering # (<) :: MismatchError -> MismatchError -> Bool # (<=) :: MismatchError -> MismatchError -> Bool # (>) :: MismatchError -> MismatchError -> Bool # (>=) :: MismatchError -> MismatchError -> Bool # max :: MismatchError -> MismatchError -> MismatchError # min :: MismatchError -> MismatchError -> MismatchError #
Read MismatchError Source #
Methods readsPrec :: Int -> ReadS MismatchError # readList :: ReadS [MismatchError] # readPrec :: ReadPrec MismatchError # readListPrec :: ReadPrec [MismatchError] #
Show MismatchError Source #
Methods showsPrec :: Int -> MismatchError -> ShowS # show :: MismatchError -> String # showList :: [MismatchError] -> ShowS #
Exception MismatchError Source #
Methods toException :: MismatchError -> SomeException # fromException :: SomeException -> Maybe MismatchError # displayException :: MismatchError -> String #
Relative MismatchError Source #
Methods rel :: Delta -> MismatchError -> MismatchError Source #

token :: Dyck -> Token -> Dyck Source #

O(1)

layoutToken :: Dyck -> LayoutMode -> Token -> Dyck Source #

close :: Dyck -> Located Pair -> Dyck Source #

O(1)

open :: Dyck -> Located Pair -> Dyck Source #

O(1)

spine :: Dyck -> Cat Token Source #