Language.PureScript.CST.Types

This module contains data types for the entire PureScript surface language. Every token is represented in the tree, and every token is annotated with whitespace and comments (both leading and trailing). This means one can write an exact printer so that `print . parse = id`. Every constructor is laid out with tokens in left-to-right order. The core productions are given a slot for arbitrary annotations, however this is not used by the parser.

Documentation

data SourcePos

Constructors

SourcePos

Fields

• srcLine :: !Int
• srcColumn :: !Int

Instances

Eq SourcePos

Defined in Language.PureScript.CST.Types

Methods

(==) :: SourcePos -> SourcePos -> Bool

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

Ord SourcePos

Defined in Language.PureScript.CST.Types

Methods

compare :: SourcePos -> SourcePos -> Ordering

(<) :: SourcePos -> SourcePos -> Bool

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

(>) :: SourcePos -> SourcePos -> Bool

(>=) :: SourcePos -> SourcePos -> Bool

max :: SourcePos -> SourcePos -> SourcePos

min :: SourcePos -> SourcePos -> SourcePos

Show SourcePos

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> SourcePos -> ShowS

show :: SourcePos -> String

showList :: [SourcePos] -> ShowS

Generic SourcePos

Defined in Language.PureScript.CST.Types

Associated Types

type Rep SourcePos :: Type -> Type

Methods

from :: SourcePos -> Rep SourcePos x

to :: Rep SourcePos x -> SourcePos

type Rep SourcePos

Defined in Language.PureScript.CST.Types

type Rep SourcePos = D1 (MetaData "SourcePos" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "SourcePos" PrefixI True) (S1 (MetaSel (Just "srcLine") SourceUnpack SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Just "srcColumn") SourceUnpack SourceStrict DecidedStrict) (Rec0 Int)))

data SourceRange

Constructors

SourceRange

Fields

• srcStart :: !SourcePos
• srcEnd :: !SourcePos

Instances

Eq SourceRange

Defined in Language.PureScript.CST.Types

Methods

(==) :: SourceRange -> SourceRange -> Bool

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

Ord SourceRange

Defined in Language.PureScript.CST.Types

Methods

compare :: SourceRange -> SourceRange -> Ordering

(<) :: SourceRange -> SourceRange -> Bool

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

(>) :: SourceRange -> SourceRange -> Bool

(>=) :: SourceRange -> SourceRange -> Bool

max :: SourceRange -> SourceRange -> SourceRange

min :: SourceRange -> SourceRange -> SourceRange

Show SourceRange

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> SourceRange -> ShowS

show :: SourceRange -> String

showList :: [SourceRange] -> ShowS

Generic SourceRange

Defined in Language.PureScript.CST.Types

Associated Types

type Rep SourceRange :: Type -> Type

Methods

from :: SourceRange -> Rep SourceRange x

to :: Rep SourceRange x -> SourceRange

type Rep SourceRange

Defined in Language.PureScript.CST.Types

type Rep SourceRange = D1 (MetaData "SourceRange" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "SourceRange" PrefixI True) (S1 (MetaSel (Just "srcStart") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourcePos) :*: S1 (MetaSel (Just "srcEnd") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourcePos)))

data Comment l

Constructors

Comment !Text

Space !Int

Line !l

Instances

Functor Comment

Defined in Language.PureScript.CST.Types

Methods

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

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

Eq l => Eq (Comment l)

Defined in Language.PureScript.CST.Types

Methods

(==) :: Comment l -> Comment l -> Bool

(/=) :: Comment l -> Comment l -> Bool

Ord l => Ord (Comment l)

Defined in Language.PureScript.CST.Types

Methods

compare :: Comment l -> Comment l -> Ordering

(<) :: Comment l -> Comment l -> Bool

(<=) :: Comment l -> Comment l -> Bool

(>) :: Comment l -> Comment l -> Bool

(>=) :: Comment l -> Comment l -> Bool

max :: Comment l -> Comment l -> Comment l

min :: Comment l -> Comment l -> Comment l

Show l => Show (Comment l)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Comment l -> ShowS

show :: Comment l -> String

showList :: [Comment l] -> ShowS

Generic (Comment l)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Comment l) :: Type -> Type

Methods

from :: Comment l -> Rep (Comment l) x

to :: Rep (Comment l) x -> Comment l

type Rep (Comment l)

Defined in Language.PureScript.CST.Types

type Rep (Comment l) = D1 (MetaData "Comment" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Comment" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :+: (C1 (MetaCons "Space" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int)) :+: C1 (MetaCons "Line" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 l))))

data LineFeed

Constructors

LF

CRLF

Instances

Eq LineFeed

Defined in Language.PureScript.CST.Types

Methods

(==) :: LineFeed -> LineFeed -> Bool

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

Ord LineFeed

Defined in Language.PureScript.CST.Types

Methods

compare :: LineFeed -> LineFeed -> Ordering

(<) :: LineFeed -> LineFeed -> Bool

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

(>) :: LineFeed -> LineFeed -> Bool

(>=) :: LineFeed -> LineFeed -> Bool

max :: LineFeed -> LineFeed -> LineFeed

min :: LineFeed -> LineFeed -> LineFeed

Show LineFeed

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> LineFeed -> ShowS

show :: LineFeed -> String

showList :: [LineFeed] -> ShowS

Generic LineFeed

Defined in Language.PureScript.CST.Types

Associated Types

type Rep LineFeed :: Type -> Type

Methods

from :: LineFeed -> Rep LineFeed x

to :: Rep LineFeed x -> LineFeed

type Rep LineFeed

Defined in Language.PureScript.CST.Types

type Rep LineFeed = D1 (MetaData "LineFeed" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "LF" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CRLF" PrefixI False) (U1 :: Type -> Type))

data TokenAnn

Constructors

TokenAnn

Fields

• tokRange :: !SourceRange
• tokLeadingComments :: ![Comment LineFeed]
• tokTrailingComments :: ![Comment Void]

Instances

Eq TokenAnn

Defined in Language.PureScript.CST.Types

Methods

(==) :: TokenAnn -> TokenAnn -> Bool

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

Ord TokenAnn

Defined in Language.PureScript.CST.Types

Methods

compare :: TokenAnn -> TokenAnn -> Ordering

(<) :: TokenAnn -> TokenAnn -> Bool

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

(>) :: TokenAnn -> TokenAnn -> Bool

(>=) :: TokenAnn -> TokenAnn -> Bool

max :: TokenAnn -> TokenAnn -> TokenAnn

min :: TokenAnn -> TokenAnn -> TokenAnn

Show TokenAnn

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> TokenAnn -> ShowS

show :: TokenAnn -> String

showList :: [TokenAnn] -> ShowS

Generic TokenAnn

Defined in Language.PureScript.CST.Types

Associated Types

type Rep TokenAnn :: Type -> Type

Methods

from :: TokenAnn -> Rep TokenAnn x

to :: Rep TokenAnn x -> TokenAnn

type Rep TokenAnn

Defined in Language.PureScript.CST.Types

type Rep TokenAnn = D1 (MetaData "TokenAnn" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "TokenAnn" PrefixI True) (S1 (MetaSel (Just "tokRange") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourceRange) :*: (S1 (MetaSel (Just "tokLeadingComments") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Comment LineFeed]) :*: S1 (MetaSel (Just "tokTrailingComments") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Comment Void]))))

data SourceStyle

Constructors

ASCII

Unicode

Instances

Eq SourceStyle

Defined in Language.PureScript.CST.Types

Methods

(==) :: SourceStyle -> SourceStyle -> Bool

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

Ord SourceStyle

Defined in Language.PureScript.CST.Types

Methods

compare :: SourceStyle -> SourceStyle -> Ordering

(<) :: SourceStyle -> SourceStyle -> Bool

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

(>) :: SourceStyle -> SourceStyle -> Bool

(>=) :: SourceStyle -> SourceStyle -> Bool

max :: SourceStyle -> SourceStyle -> SourceStyle

min :: SourceStyle -> SourceStyle -> SourceStyle

Show SourceStyle

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> SourceStyle -> ShowS

show :: SourceStyle -> String

showList :: [SourceStyle] -> ShowS

Generic SourceStyle

Defined in Language.PureScript.CST.Types

Associated Types

type Rep SourceStyle :: Type -> Type

Methods

from :: SourceStyle -> Rep SourceStyle x

to :: Rep SourceStyle x -> SourceStyle

type Rep SourceStyle

Defined in Language.PureScript.CST.Types

type Rep SourceStyle = D1 (MetaData "SourceStyle" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "ASCII" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Unicode" PrefixI False) (U1 :: Type -> Type))

data Token

Constructors

TokLeftParen

TokRightParen

TokLeftBrace

TokRightBrace

TokLeftSquare

TokRightSquare

TokLeftArrow !SourceStyle

TokRightArrow !SourceStyle

TokRightFatArrow !SourceStyle

TokDoubleColon !SourceStyle

TokForall !SourceStyle

TokEquals

TokPipe

TokTick

TokDot

TokComma

TokUnderscore

TokBackslash

TokLowerName ![Text] !Text

TokUpperName ![Text] !Text

TokOperator ![Text] !Text

TokSymbolName ![Text] !Text

TokSymbolArr !SourceStyle

TokHole !Text

TokChar !Text !Char

TokString !Text !PSString

TokRawString !Text

TokInt !Text !Integer

TokNumber !Text !Double

TokLayoutStart

TokLayoutSep

TokLayoutEnd

TokEof

Instances

Eq Token

Defined in Language.PureScript.CST.Types

Methods

(==) :: Token -> Token -> Bool

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

Ord Token

Defined in Language.PureScript.CST.Types

Methods

compare :: Token -> Token -> Ordering

(<) :: Token -> Token -> Bool

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

(>) :: Token -> Token -> Bool

(>=) :: Token -> Token -> Bool

max :: Token -> Token -> Token

min :: Token -> Token -> Token

Show Token

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Generic Token

Defined in Language.PureScript.CST.Types

Associated Types

type Rep Token :: Type -> Type

Methods

from :: Token -> Rep Token x

to :: Rep Token x -> Token

type Rep Token

Defined in Language.PureScript.CST.Types

type Rep Token = D1 (MetaData "Token" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (((((C1 (MetaCons "TokLeftParen" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TokRightParen" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TokLeftBrace" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TokRightBrace" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "TokLeftSquare" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TokRightSquare" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TokLeftArrow" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourceStyle)) :+: C1 (MetaCons "TokRightArrow" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourceStyle))))) :+: (((C1 (MetaCons "TokRightFatArrow" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourceStyle)) :+: C1 (MetaCons "TokDoubleColon" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourceStyle))) :+: (C1 (MetaCons "TokForall" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourceStyle)) :+: C1 (MetaCons "TokEquals" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "TokPipe" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TokTick" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TokDot" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TokComma" PrefixI False) (U1 :: Type -> Type))))) :+: ((((C1 (MetaCons "TokUnderscore" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TokBackslash" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TokLowerName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Text]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :+: C1 (MetaCons "TokUpperName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Text]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)))) :+: ((C1 (MetaCons "TokOperator" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Text]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :+: C1 (MetaCons "TokSymbolName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [Text]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text))) :+: (C1 (MetaCons "TokSymbolArr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 SourceStyle)) :+: C1 (MetaCons "TokHole" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text))))) :+: (((C1 (MetaCons "TokChar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Char)) :+: C1 (MetaCons "TokString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 PSString))) :+: (C1 (MetaCons "TokRawString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text)) :+: C1 (MetaCons "TokInt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Integer)))) :+: ((C1 (MetaCons "TokNumber" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Double)) :+: C1 (MetaCons "TokLayoutStart" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TokLayoutSep" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "TokLayoutEnd" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TokEof" PrefixI False) (U1 :: Type -> Type)))))))

data SourceToken

Constructors

SourceToken

Fields

• tokAnn :: !TokenAnn
• tokValue :: !Token

Instances

Eq SourceToken

Defined in Language.PureScript.CST.Types

Methods

(==) :: SourceToken -> SourceToken -> Bool

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

Ord SourceToken

Defined in Language.PureScript.CST.Types

Methods

compare :: SourceToken -> SourceToken -> Ordering

(<) :: SourceToken -> SourceToken -> Bool

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

(>) :: SourceToken -> SourceToken -> Bool

(>=) :: SourceToken -> SourceToken -> Bool

max :: SourceToken -> SourceToken -> SourceToken

min :: SourceToken -> SourceToken -> SourceToken

Show SourceToken

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> SourceToken -> ShowS

show :: SourceToken -> String

showList :: [SourceToken] -> ShowS

Generic SourceToken

Defined in Language.PureScript.CST.Types

Associated Types

type Rep SourceToken :: Type -> Type

Methods

from :: SourceToken -> Rep SourceToken x

to :: Rep SourceToken x -> SourceToken

type Rep SourceToken

Defined in Language.PureScript.CST.Types

type Rep SourceToken = D1 (MetaData "SourceToken" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "SourceToken" PrefixI True) (S1 (MetaSel (Just "tokAnn") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TokenAnn) :*: S1 (MetaSel (Just "tokValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Token)))

data Ident

Constructors

Ident

Fields

• getIdent :: Text

Instances

Eq Ident

Defined in Language.PureScript.CST.Types

Methods

(==) :: Ident -> Ident -> Bool

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

Ord Ident

Defined in Language.PureScript.CST.Types

Methods

compare :: Ident -> Ident -> Ordering

(<) :: Ident -> Ident -> Bool

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

(>) :: Ident -> Ident -> Bool

(>=) :: Ident -> Ident -> Bool

max :: Ident -> Ident -> Ident

min :: Ident -> Ident -> Ident

Show Ident

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

Generic Ident

Defined in Language.PureScript.CST.Types

Associated Types

type Rep Ident :: Type -> Type

Methods

from :: Ident -> Rep Ident x

to :: Rep Ident x -> Ident

type Rep Ident

Defined in Language.PureScript.CST.Types

type Rep Ident = D1 (MetaData "Ident" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Ident" PrefixI True) (S1 (MetaSel (Just "getIdent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data Name a

Constructors

Name

Fields

• nameTok :: SourceToken
• nameValue :: a

Instances

Functor Name

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Name

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Name m -> m

foldMap :: Monoid m => (a -> m) -> Name a -> m

foldr :: (a -> b -> b) -> b -> Name a -> b

foldr' :: (a -> b -> b) -> b -> Name a -> b

foldl :: (b -> a -> b) -> b -> Name a -> b

foldl' :: (b -> a -> b) -> b -> Name a -> b

foldr1 :: (a -> a -> a) -> Name a -> a

foldl1 :: (a -> a -> a) -> Name a -> a

toList :: Name a -> [a]

null :: Name a -> Bool

length :: Name a -> Int

elem :: Eq a => a -> Name a -> Bool

maximum :: Ord a => Name a -> a

minimum :: Ord a => Name a -> a

sum :: Num a => Name a -> a

product :: Num a => Name a -> a

Traversable Name

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Name a -> f (Name b)

sequenceA :: Applicative f => Name (f a) -> f (Name a)

mapM :: Monad m => (a -> m b) -> Name a -> m (Name b)

sequence :: Monad m => Name (m a) -> m (Name a)

Eq a => Eq (Name a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Name a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Name a -> Name a -> Ordering

(<) :: Name a -> Name a -> Bool

(<=) :: Name a -> Name a -> Bool

(>) :: Name a -> Name a -> Bool

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

max :: Name a -> Name a -> Name a

min :: Name a -> Name a -> Name a

Show a => Show (Name a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Name a -> ShowS

show :: Name a -> String

showList :: [Name a] -> ShowS

Generic (Name a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Name a) :: Type -> Type

Methods

from :: Name a -> Rep (Name a) x

to :: Rep (Name a) x -> Name a

type Rep (Name a)

Defined in Language.PureScript.CST.Types

type Rep (Name a) = D1 (MetaData "Name" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Name" PrefixI True) (S1 (MetaSel (Just "nameTok") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Just "nameValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

data QualifiedName a

Constructors

QualifiedName

Fields

• qualTok :: SourceToken
• qualModule :: Maybe ModuleName
• qualName :: a

Instances

Functor QualifiedName

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable QualifiedName

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => QualifiedName m -> m

foldMap :: Monoid m => (a -> m) -> QualifiedName a -> m

foldr :: (a -> b -> b) -> b -> QualifiedName a -> b

foldr' :: (a -> b -> b) -> b -> QualifiedName a -> b

foldl :: (b -> a -> b) -> b -> QualifiedName a -> b

foldl' :: (b -> a -> b) -> b -> QualifiedName a -> b

foldr1 :: (a -> a -> a) -> QualifiedName a -> a

foldl1 :: (a -> a -> a) -> QualifiedName a -> a

toList :: QualifiedName a -> [a]

null :: QualifiedName a -> Bool

length :: QualifiedName a -> Int

elem :: Eq a => a -> QualifiedName a -> Bool

maximum :: Ord a => QualifiedName a -> a

minimum :: Ord a => QualifiedName a -> a

sum :: Num a => QualifiedName a -> a

product :: Num a => QualifiedName a -> a

Traversable QualifiedName

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> QualifiedName a -> f (QualifiedName b)

sequenceA :: Applicative f => QualifiedName (f a) -> f (QualifiedName a)

mapM :: Monad m => (a -> m b) -> QualifiedName a -> m (QualifiedName b)

sequence :: Monad m => QualifiedName (m a) -> m (QualifiedName a)

Eq a => Eq (QualifiedName a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (QualifiedName a)

Defined in Language.PureScript.CST.Types

Methods

compare :: QualifiedName a -> QualifiedName a -> Ordering

(<) :: QualifiedName a -> QualifiedName a -> Bool

(<=) :: QualifiedName a -> QualifiedName a -> Bool

(>) :: QualifiedName a -> QualifiedName a -> Bool

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

max :: QualifiedName a -> QualifiedName a -> QualifiedName a

min :: QualifiedName a -> QualifiedName a -> QualifiedName a

Show a => Show (QualifiedName a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> QualifiedName a -> ShowS

show :: QualifiedName a -> String

showList :: [QualifiedName a] -> ShowS

Generic (QualifiedName a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (QualifiedName a) :: Type -> Type

Methods

from :: QualifiedName a -> Rep (QualifiedName a) x

to :: Rep (QualifiedName a) x -> QualifiedName a

type Rep (QualifiedName a)

Defined in Language.PureScript.CST.Types

type Rep (QualifiedName a) = D1 (MetaData "QualifiedName" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "QualifiedName" PrefixI True) (S1 (MetaSel (Just "qualTok") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: (S1 (MetaSel (Just "qualModule") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe ModuleName)) :*: S1 (MetaSel (Just "qualName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))))

data Label

Constructors

Label

Fields

• lblTok :: SourceToken
• lblName :: PSString

Instances

Eq Label

Defined in Language.PureScript.CST.Types

Methods

(==) :: Label -> Label -> Bool

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

Ord Label

Defined in Language.PureScript.CST.Types

Methods

compare :: Label -> Label -> Ordering

(<) :: Label -> Label -> Bool

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

(>) :: Label -> Label -> Bool

(>=) :: Label -> Label -> Bool

max :: Label -> Label -> Label

min :: Label -> Label -> Label

Show Label

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Label -> ShowS

show :: Label -> String

showList :: [Label] -> ShowS

Generic Label

Defined in Language.PureScript.CST.Types

Associated Types

type Rep Label :: Type -> Type

Methods

from :: Label -> Rep Label x

to :: Rep Label x -> Label

type Rep Label

Defined in Language.PureScript.CST.Types

type Rep Label = D1 (MetaData "Label" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Label" PrefixI True) (S1 (MetaSel (Just "lblTok") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Just "lblName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PSString)))

data Wrapped a

Constructors

Wrapped

Fields

• wrpOpen :: SourceToken
• wrpValue :: a
• wrpClose :: SourceToken

Instances

Functor Wrapped

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Wrapped

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Wrapped m -> m

foldMap :: Monoid m => (a -> m) -> Wrapped a -> m

foldr :: (a -> b -> b) -> b -> Wrapped a -> b

foldr' :: (a -> b -> b) -> b -> Wrapped a -> b

foldl :: (b -> a -> b) -> b -> Wrapped a -> b

foldl' :: (b -> a -> b) -> b -> Wrapped a -> b

foldr1 :: (a -> a -> a) -> Wrapped a -> a

foldl1 :: (a -> a -> a) -> Wrapped a -> a

toList :: Wrapped a -> [a]

null :: Wrapped a -> Bool

length :: Wrapped a -> Int

elem :: Eq a => a -> Wrapped a -> Bool

maximum :: Ord a => Wrapped a -> a

minimum :: Ord a => Wrapped a -> a

sum :: Num a => Wrapped a -> a

product :: Num a => Wrapped a -> a

Traversable Wrapped

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Wrapped a -> f (Wrapped b)

sequenceA :: Applicative f => Wrapped (f a) -> f (Wrapped a)

mapM :: Monad m => (a -> m b) -> Wrapped a -> m (Wrapped b)

sequence :: Monad m => Wrapped (m a) -> m (Wrapped a)

Eq a => Eq (Wrapped a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Wrapped a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Wrapped a -> Wrapped a -> Ordering

(<) :: Wrapped a -> Wrapped a -> Bool

(<=) :: Wrapped a -> Wrapped a -> Bool

(>) :: Wrapped a -> Wrapped a -> Bool

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

max :: Wrapped a -> Wrapped a -> Wrapped a

min :: Wrapped a -> Wrapped a -> Wrapped a

Show a => Show (Wrapped a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Wrapped a -> ShowS

show :: Wrapped a -> String

showList :: [Wrapped a] -> ShowS

Generic (Wrapped a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Wrapped a) :: Type -> Type

Methods

from :: Wrapped a -> Rep (Wrapped a) x

to :: Rep (Wrapped a) x -> Wrapped a

type Rep (Wrapped a)

Defined in Language.PureScript.CST.Types

type Rep (Wrapped a) = D1 (MetaData "Wrapped" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Wrapped" PrefixI True) (S1 (MetaSel (Just "wrpOpen") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: (S1 (MetaSel (Just "wrpValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "wrpClose") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken))))

data Separated a

Constructors

Separated

Fields

• sepHead :: a
• sepTail :: [(SourceToken, a)]

Instances

Functor Separated

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Separated

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Separated m -> m

foldMap :: Monoid m => (a -> m) -> Separated a -> m

foldr :: (a -> b -> b) -> b -> Separated a -> b

foldr' :: (a -> b -> b) -> b -> Separated a -> b

foldl :: (b -> a -> b) -> b -> Separated a -> b

foldl' :: (b -> a -> b) -> b -> Separated a -> b

foldr1 :: (a -> a -> a) -> Separated a -> a

foldl1 :: (a -> a -> a) -> Separated a -> a

toList :: Separated a -> [a]

null :: Separated a -> Bool

length :: Separated a -> Int

elem :: Eq a => a -> Separated a -> Bool

maximum :: Ord a => Separated a -> a

minimum :: Ord a => Separated a -> a

sum :: Num a => Separated a -> a

product :: Num a => Separated a -> a

Traversable Separated

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Separated a -> f (Separated b)

sequenceA :: Applicative f => Separated (f a) -> f (Separated a)

mapM :: Monad m => (a -> m b) -> Separated a -> m (Separated b)

sequence :: Monad m => Separated (m a) -> m (Separated a)

Eq a => Eq (Separated a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Separated a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Separated a -> Separated a -> Ordering

(<) :: Separated a -> Separated a -> Bool

(<=) :: Separated a -> Separated a -> Bool

(>) :: Separated a -> Separated a -> Bool

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

max :: Separated a -> Separated a -> Separated a

min :: Separated a -> Separated a -> Separated a

Show a => Show (Separated a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Separated a -> ShowS

show :: Separated a -> String

showList :: [Separated a] -> ShowS

Generic (Separated a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Separated a) :: Type -> Type

Methods

from :: Separated a -> Rep (Separated a) x

to :: Rep (Separated a) x -> Separated a

type Rep (Separated a)

Defined in Language.PureScript.CST.Types

type Rep (Separated a) = D1 (MetaData "Separated" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Separated" PrefixI True) (S1 (MetaSel (Just "sepHead") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "sepTail") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(SourceToken, a)])))

data Labeled a b

Constructors

Labeled

Fields

• lblLabel :: a
• lblSep :: SourceToken
• lblValue :: b

Instances

Functor (Labeled a)

Defined in Language.PureScript.CST.Types

Methods

fmap :: (a0 -> b) -> Labeled a a0 -> Labeled a b

(<$) :: a0 -> Labeled a b -> Labeled a a0

Foldable (Labeled a)

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Labeled a m -> m

foldMap :: Monoid m => (a0 -> m) -> Labeled a a0 -> m

foldr :: (a0 -> b -> b) -> b -> Labeled a a0 -> b

foldr' :: (a0 -> b -> b) -> b -> Labeled a a0 -> b

foldl :: (b -> a0 -> b) -> b -> Labeled a a0 -> b

foldl' :: (b -> a0 -> b) -> b -> Labeled a a0 -> b

foldr1 :: (a0 -> a0 -> a0) -> Labeled a a0 -> a0

foldl1 :: (a0 -> a0 -> a0) -> Labeled a a0 -> a0

toList :: Labeled a a0 -> [a0]

null :: Labeled a a0 -> Bool

length :: Labeled a a0 -> Int

elem :: Eq a0 => a0 -> Labeled a a0 -> Bool

maximum :: Ord a0 => Labeled a a0 -> a0

minimum :: Ord a0 => Labeled a a0 -> a0

sum :: Num a0 => Labeled a a0 -> a0

product :: Num a0 => Labeled a a0 -> a0

Traversable (Labeled a)

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a0 -> f b) -> Labeled a a0 -> f (Labeled a b)

sequenceA :: Applicative f => Labeled a (f a0) -> f (Labeled a a0)

mapM :: Monad m => (a0 -> m b) -> Labeled a a0 -> m (Labeled a b)

sequence :: Monad m => Labeled a (m a0) -> m (Labeled a a0)

(Eq a, Eq b) => Eq (Labeled a b)

Defined in Language.PureScript.CST.Types

Methods

(==) :: Labeled a b -> Labeled a b -> Bool

(/=) :: Labeled a b -> Labeled a b -> Bool

(Ord a, Ord b) => Ord (Labeled a b)

Defined in Language.PureScript.CST.Types

Methods

compare :: Labeled a b -> Labeled a b -> Ordering

(<) :: Labeled a b -> Labeled a b -> Bool

(<=) :: Labeled a b -> Labeled a b -> Bool

(>) :: Labeled a b -> Labeled a b -> Bool

(>=) :: Labeled a b -> Labeled a b -> Bool

max :: Labeled a b -> Labeled a b -> Labeled a b

min :: Labeled a b -> Labeled a b -> Labeled a b

(Show a, Show b) => Show (Labeled a b)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Labeled a b -> ShowS

show :: Labeled a b -> String

showList :: [Labeled a b] -> ShowS

Generic (Labeled a b)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Labeled a b) :: Type -> Type

Methods

from :: Labeled a b -> Rep (Labeled a b) x

to :: Rep (Labeled a b) x -> Labeled a b

type Rep (Labeled a b)

Defined in Language.PureScript.CST.Types

type Rep (Labeled a b) = D1 (MetaData "Labeled" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Labeled" PrefixI True) (S1 (MetaSel (Just "lblLabel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "lblSep") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Just "lblValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b))))

type Delimited a = Wrapped (Maybe (Separated a))

type DelimitedNonEmpty a = Wrapped (Separated a)

data OneOrDelimited a

Constructors

One a

Many (DelimitedNonEmpty a)

Instances

Functor OneOrDelimited

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable OneOrDelimited

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => OneOrDelimited m -> m

foldMap :: Monoid m => (a -> m) -> OneOrDelimited a -> m

foldr :: (a -> b -> b) -> b -> OneOrDelimited a -> b

foldr' :: (a -> b -> b) -> b -> OneOrDelimited a -> b

foldl :: (b -> a -> b) -> b -> OneOrDelimited a -> b

foldl' :: (b -> a -> b) -> b -> OneOrDelimited a -> b

foldr1 :: (a -> a -> a) -> OneOrDelimited a -> a

foldl1 :: (a -> a -> a) -> OneOrDelimited a -> a

toList :: OneOrDelimited a -> [a]

null :: OneOrDelimited a -> Bool

length :: OneOrDelimited a -> Int

elem :: Eq a => a -> OneOrDelimited a -> Bool

maximum :: Ord a => OneOrDelimited a -> a

minimum :: Ord a => OneOrDelimited a -> a

sum :: Num a => OneOrDelimited a -> a

product :: Num a => OneOrDelimited a -> a

Traversable OneOrDelimited

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> OneOrDelimited a -> f (OneOrDelimited b)

sequenceA :: Applicative f => OneOrDelimited (f a) -> f (OneOrDelimited a)

mapM :: Monad m => (a -> m b) -> OneOrDelimited a -> m (OneOrDelimited b)

sequence :: Monad m => OneOrDelimited (m a) -> m (OneOrDelimited a)

Eq a => Eq (OneOrDelimited a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (OneOrDelimited a)

Defined in Language.PureScript.CST.Types

Methods

compare :: OneOrDelimited a -> OneOrDelimited a -> Ordering

(<) :: OneOrDelimited a -> OneOrDelimited a -> Bool

(<=) :: OneOrDelimited a -> OneOrDelimited a -> Bool

(>) :: OneOrDelimited a -> OneOrDelimited a -> Bool

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

max :: OneOrDelimited a -> OneOrDelimited a -> OneOrDelimited a

min :: OneOrDelimited a -> OneOrDelimited a -> OneOrDelimited a

Show a => Show (OneOrDelimited a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> OneOrDelimited a -> ShowS

show :: OneOrDelimited a -> String

showList :: [OneOrDelimited a] -> ShowS

Generic (OneOrDelimited a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (OneOrDelimited a) :: Type -> Type

Methods

from :: OneOrDelimited a -> Rep (OneOrDelimited a) x

to :: Rep (OneOrDelimited a) x -> OneOrDelimited a

type Rep (OneOrDelimited a)

Defined in Language.PureScript.CST.Types

type Rep (OneOrDelimited a) = D1 (MetaData "OneOrDelimited" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "One" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "Many" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DelimitedNonEmpty a))))

data Kind a

Constructors

KindName a (QualifiedName (ProperName KindName))

KindArr a (Kind a) SourceToken (Kind a)

KindRow a SourceToken (Kind a)

KindParens a (Wrapped (Kind a))

Instances

Functor Kind

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Kind

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Kind m -> m

foldMap :: Monoid m => (a -> m) -> Kind a -> m

foldr :: (a -> b -> b) -> b -> Kind a -> b

foldr' :: (a -> b -> b) -> b -> Kind a -> b

foldl :: (b -> a -> b) -> b -> Kind a -> b

foldl' :: (b -> a -> b) -> b -> Kind a -> b

foldr1 :: (a -> a -> a) -> Kind a -> a

foldl1 :: (a -> a -> a) -> Kind a -> a

toList :: Kind a -> [a]

null :: Kind a -> Bool

length :: Kind a -> Int

elem :: Eq a => a -> Kind a -> Bool

maximum :: Ord a => Kind a -> a

minimum :: Ord a => Kind a -> a

sum :: Num a => Kind a -> a

product :: Num a => Kind a -> a

Traversable Kind

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Kind a -> f (Kind b)

sequenceA :: Applicative f => Kind (f a) -> f (Kind a)

mapM :: Monad m => (a -> m b) -> Kind a -> m (Kind b)

sequence :: Monad m => Kind (m a) -> m (Kind a)

Eq a => Eq (Kind a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Kind a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Kind a -> Kind a -> Ordering

(<) :: Kind a -> Kind a -> Bool

(<=) :: Kind a -> Kind a -> Bool

(>) :: Kind a -> Kind a -> Bool

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

max :: Kind a -> Kind a -> Kind a

min :: Kind a -> Kind a -> Kind a

Show a => Show (Kind a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Kind a -> ShowS

show :: Kind a -> String

showList :: [Kind a] -> ShowS

Generic (Kind a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Kind a) :: Type -> Type

Methods

from :: Kind a -> Rep (Kind a) x

to :: Rep (Kind a) x -> Kind a

type Rep (Kind a)

Defined in Language.PureScript.CST.Types

type Rep (Kind a) = D1 (MetaData "Kind" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) ((C1 (MetaCons "KindName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (QualifiedName (ProperName KindName)))) :+: C1 (MetaCons "KindArr" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Kind a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Kind a))))) :+: (C1 (MetaCons "KindRow" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Kind a)))) :+: C1 (MetaCons "KindParens" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Wrapped (Kind a))))))

data Type a

Constructors

TypeVar a (Name Ident)

TypeConstructor a (QualifiedName (ProperName TypeName))

TypeWildcard a SourceToken

TypeHole a (Name Ident)

TypeString a SourceToken PSString

TypeRow a (Wrapped (Row a))

TypeRecord a (Wrapped (Row a))

TypeForall a SourceToken (NonEmpty (TypeVarBinding a)) SourceToken (Type a)

TypeKinded a (Type a) SourceToken (Kind a)

TypeApp a (Type a) (Type a)

TypeOp a (Type a) (QualifiedName (OpName TypeOpName)) (Type a)

TypeOpName a (QualifiedName (OpName TypeOpName))

TypeArr a (Type a) SourceToken (Type a)

TypeArrName a SourceToken

TypeConstrained a (Constraint a) SourceToken (Type a)

TypeParens a (Wrapped (Type a))

Instances

Functor Type

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Type

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Type m -> m

foldMap :: Monoid m => (a -> m) -> Type a -> m

foldr :: (a -> b -> b) -> b -> Type a -> b

foldr' :: (a -> b -> b) -> b -> Type a -> b

foldl :: (b -> a -> b) -> b -> Type a -> b

foldl' :: (b -> a -> b) -> b -> Type a -> b

foldr1 :: (a -> a -> a) -> Type a -> a

foldl1 :: (a -> a -> a) -> Type a -> a

toList :: Type a -> [a]

null :: Type a -> Bool

length :: Type a -> Int

elem :: Eq a => a -> Type a -> Bool

maximum :: Ord a => Type a -> a

minimum :: Ord a => Type a -> a

sum :: Num a => Type a -> a

product :: Num a => Type a -> a

Traversable Type

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Type a -> f (Type b)

sequenceA :: Applicative f => Type (f a) -> f (Type a)

mapM :: Monad m => (a -> m b) -> Type a -> m (Type b)

sequence :: Monad m => Type (m a) -> m (Type a)

Eq a => Eq (Type a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Type a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Type a -> Type a -> Ordering

(<) :: Type a -> Type a -> Bool

(<=) :: Type a -> Type a -> Bool

(>) :: Type a -> Type a -> Bool

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

max :: Type a -> Type a -> Type a

min :: Type a -> Type a -> Type a

Show a => Show (Type a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Type a -> ShowS

show :: Type a -> String

showList :: [Type a] -> ShowS

Generic (Type a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Type a) :: Type -> Type

Methods

from :: Type a -> Rep (Type a) x

to :: Rep (Type a) x -> Type a

type Rep (Type a)

Defined in Language.PureScript.CST.Types

type Rep (Type a) = D1 (MetaData "Type" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) ((((C1 (MetaCons "TypeVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name Ident))) :+: C1 (MetaCons "TypeConstructor" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (QualifiedName (ProperName TypeName))))) :+: (C1 (MetaCons "TypeWildcard" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken)) :+: C1 (MetaCons "TypeHole" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name Ident))))) :+: ((C1 (MetaCons "TypeString" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PSString))) :+: C1 (MetaCons "TypeRow" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Wrapped (Row a))))) :+: (C1 (MetaCons "TypeRecord" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Wrapped (Row a)))) :+: C1 (MetaCons "TypeForall" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (TypeVarBinding a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a)))))))) :+: (((C1 (MetaCons "TypeKinded" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Kind a)))) :+: C1 (MetaCons "TypeApp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a))))) :+: (C1 (MetaCons "TypeOp" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (QualifiedName (OpName TypeOpName))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a)))) :+: C1 (MetaCons "TypeOpName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (QualifiedName (OpName TypeOpName)))))) :+: ((C1 (MetaCons "TypeArr" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a)))) :+: C1 (MetaCons "TypeArrName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken))) :+: (C1 (MetaCons "TypeConstrained" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Constraint a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a)))) :+: C1 (MetaCons "TypeParens" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Wrapped (Type a))))))))

data TypeVarBinding a

Constructors

TypeVarKinded (Wrapped (Labeled (Name Ident) (Kind a)))

TypeVarName (Name Ident)

Instances

Functor TypeVarBinding

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable TypeVarBinding

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => TypeVarBinding m -> m

foldMap :: Monoid m => (a -> m) -> TypeVarBinding a -> m

foldr :: (a -> b -> b) -> b -> TypeVarBinding a -> b

foldr' :: (a -> b -> b) -> b -> TypeVarBinding a -> b

foldl :: (b -> a -> b) -> b -> TypeVarBinding a -> b

foldl' :: (b -> a -> b) -> b -> TypeVarBinding a -> b

foldr1 :: (a -> a -> a) -> TypeVarBinding a -> a

foldl1 :: (a -> a -> a) -> TypeVarBinding a -> a

toList :: TypeVarBinding a -> [a]

null :: TypeVarBinding a -> Bool

length :: TypeVarBinding a -> Int

elem :: Eq a => a -> TypeVarBinding a -> Bool

maximum :: Ord a => TypeVarBinding a -> a

minimum :: Ord a => TypeVarBinding a -> a

sum :: Num a => TypeVarBinding a -> a

product :: Num a => TypeVarBinding a -> a

Traversable TypeVarBinding

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> TypeVarBinding a -> f (TypeVarBinding b)

sequenceA :: Applicative f => TypeVarBinding (f a) -> f (TypeVarBinding a)

mapM :: Monad m => (a -> m b) -> TypeVarBinding a -> m (TypeVarBinding b)

sequence :: Monad m => TypeVarBinding (m a) -> m (TypeVarBinding a)

Eq a => Eq (TypeVarBinding a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (TypeVarBinding a)

Defined in Language.PureScript.CST.Types

Methods

compare :: TypeVarBinding a -> TypeVarBinding a -> Ordering

(<) :: TypeVarBinding a -> TypeVarBinding a -> Bool

(<=) :: TypeVarBinding a -> TypeVarBinding a -> Bool

(>) :: TypeVarBinding a -> TypeVarBinding a -> Bool

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

max :: TypeVarBinding a -> TypeVarBinding a -> TypeVarBinding a

min :: TypeVarBinding a -> TypeVarBinding a -> TypeVarBinding a

Show a => Show (TypeVarBinding a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> TypeVarBinding a -> ShowS

show :: TypeVarBinding a -> String

showList :: [TypeVarBinding a] -> ShowS

Generic (TypeVarBinding a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (TypeVarBinding a) :: Type -> Type

Methods

from :: TypeVarBinding a -> Rep (TypeVarBinding a) x

to :: Rep (TypeVarBinding a) x -> TypeVarBinding a

type Rep (TypeVarBinding a)

Defined in Language.PureScript.CST.Types

type Rep (TypeVarBinding a) = D1 (MetaData "TypeVarBinding" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "TypeVarKinded" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Wrapped (Labeled (Name Ident) (Kind a))))) :+: C1 (MetaCons "TypeVarName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name Ident))))

data Constraint a

Constructors

Constraint a (QualifiedName (ProperName ClassName)) [Type a]

ConstraintParens a (Wrapped (Constraint a))

Instances

Functor Constraint

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Constraint

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Constraint m -> m

foldMap :: Monoid m => (a -> m) -> Constraint a -> m

foldr :: (a -> b -> b) -> b -> Constraint a -> b

foldr' :: (a -> b -> b) -> b -> Constraint a -> b

foldl :: (b -> a -> b) -> b -> Constraint a -> b

foldl' :: (b -> a -> b) -> b -> Constraint a -> b

foldr1 :: (a -> a -> a) -> Constraint a -> a

foldl1 :: (a -> a -> a) -> Constraint a -> a

toList :: Constraint a -> [a]

null :: Constraint a -> Bool

length :: Constraint a -> Int

elem :: Eq a => a -> Constraint a -> Bool

maximum :: Ord a => Constraint a -> a

minimum :: Ord a => Constraint a -> a

sum :: Num a => Constraint a -> a

product :: Num a => Constraint a -> a

Traversable Constraint

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Constraint a -> f (Constraint b)

sequenceA :: Applicative f => Constraint (f a) -> f (Constraint a)

mapM :: Monad m => (a -> m b) -> Constraint a -> m (Constraint b)

sequence :: Monad m => Constraint (m a) -> m (Constraint a)

Eq a => Eq (Constraint a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Constraint a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Constraint a -> Constraint a -> Ordering

(<) :: Constraint a -> Constraint a -> Bool

(<=) :: Constraint a -> Constraint a -> Bool

(>) :: Constraint a -> Constraint a -> Bool

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

max :: Constraint a -> Constraint a -> Constraint a

min :: Constraint a -> Constraint a -> Constraint a

Show a => Show (Constraint a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Constraint a -> ShowS

show :: Constraint a -> String

showList :: [Constraint a] -> ShowS

Generic (Constraint a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Constraint a) :: Type -> Type

Methods

from :: Constraint a -> Rep (Constraint a) x

to :: Rep (Constraint a) x -> Constraint a

type Rep (Constraint a)

Defined in Language.PureScript.CST.Types

type Rep (Constraint a) = D1 (MetaData "Constraint" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Constraint" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (QualifiedName (ProperName ClassName))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type a]))) :+: C1 (MetaCons "ConstraintParens" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Wrapped (Constraint a)))))

data Row a

Constructors

Row

Fields

• rowLabels :: Maybe (Separated (Labeled Label (Type a)))
• rowTail :: Maybe (SourceToken, Type a)

Instances

Functor Row

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Row

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Row m -> m

foldMap :: Monoid m => (a -> m) -> Row a -> m

foldr :: (a -> b -> b) -> b -> Row a -> b

foldr' :: (a -> b -> b) -> b -> Row a -> b

foldl :: (b -> a -> b) -> b -> Row a -> b

foldl' :: (b -> a -> b) -> b -> Row a -> b

foldr1 :: (a -> a -> a) -> Row a -> a

foldl1 :: (a -> a -> a) -> Row a -> a

toList :: Row a -> [a]

null :: Row a -> Bool

length :: Row a -> Int

elem :: Eq a => a -> Row a -> Bool

maximum :: Ord a => Row a -> a

minimum :: Ord a => Row a -> a

sum :: Num a => Row a -> a

product :: Num a => Row a -> a

Traversable Row

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Row a -> f (Row b)

sequenceA :: Applicative f => Row (f a) -> f (Row a)

mapM :: Monad m => (a -> m b) -> Row a -> m (Row b)

sequence :: Monad m => Row (m a) -> m (Row a)

Eq a => Eq (Row a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Row a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Row a -> Row a -> Ordering

(<) :: Row a -> Row a -> Bool

(<=) :: Row a -> Row a -> Bool

(>) :: Row a -> Row a -> Bool

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

max :: Row a -> Row a -> Row a

min :: Row a -> Row a -> Row a

Show a => Show (Row a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Row a -> ShowS

show :: Row a -> String

showList :: [Row a] -> ShowS

Generic (Row a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Row a) :: Type -> Type

Methods

from :: Row a -> Rep (Row a) x

to :: Rep (Row a) x -> Row a

type Rep (Row a)

Defined in Language.PureScript.CST.Types

type Rep (Row a) = D1 (MetaData "Row" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Row" PrefixI True) (S1 (MetaSel (Just "rowLabels") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Separated (Labeled Label (Type a))))) :*: S1 (MetaSel (Just "rowTail") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (SourceToken, Type a)))))

data Module a

Constructors

Module

Fields

• modAnn :: a
• modKeyword :: SourceToken
• modNamespace :: Name ModuleName
• modExports :: Maybe (DelimitedNonEmpty (Export a))
• modWhere :: SourceToken
• modImports :: [ImportDecl a]
• modDecls :: [Declaration a]
• modTrailingComments :: [Comment LineFeed]

Instances

Functor Module

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Module

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Module m -> m

foldMap :: Monoid m => (a -> m) -> Module a -> m

foldr :: (a -> b -> b) -> b -> Module a -> b

foldr' :: (a -> b -> b) -> b -> Module a -> b

foldl :: (b -> a -> b) -> b -> Module a -> b

foldl' :: (b -> a -> b) -> b -> Module a -> b

foldr1 :: (a -> a -> a) -> Module a -> a

foldl1 :: (a -> a -> a) -> Module a -> a

toList :: Module a -> [a]

null :: Module a -> Bool

length :: Module a -> Int

elem :: Eq a => a -> Module a -> Bool

maximum :: Ord a => Module a -> a

minimum :: Ord a => Module a -> a

sum :: Num a => Module a -> a

product :: Num a => Module a -> a

Traversable Module

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Module a -> f (Module b)

sequenceA :: Applicative f => Module (f a) -> f (Module a)

mapM :: Monad m => (a -> m b) -> Module a -> m (Module b)

sequence :: Monad m => Module (m a) -> m (Module a)

Eq a => Eq (Module a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Module a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Module a -> Module a -> Ordering

(<) :: Module a -> Module a -> Bool

(<=) :: Module a -> Module a -> Bool

(>) :: Module a -> Module a -> Bool

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

max :: Module a -> Module a -> Module a

min :: Module a -> Module a -> Module a

Show a => Show (Module a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Module a -> ShowS

show :: Module a -> String

showList :: [Module a] -> ShowS

Generic (Module a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Module a) :: Type -> Type

Methods

from :: Module a -> Rep (Module a) x

to :: Rep (Module a) x -> Module a

type Rep (Module a)

Defined in Language.PureScript.CST.Types

type Rep (Module a) = D1 (MetaData "Module" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Module" PrefixI True) (((S1 (MetaSel (Just "modAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "modKeyword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken)) :*: (S1 (MetaSel (Just "modNamespace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name ModuleName)) :*: S1 (MetaSel (Just "modExports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (DelimitedNonEmpty (Export a)))))) :*: ((S1 (MetaSel (Just "modWhere") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Just "modImports") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ImportDecl a])) :*: (S1 (MetaSel (Just "modDecls") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Declaration a]) :*: S1 (MetaSel (Just "modTrailingComments") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Comment LineFeed])))))

data Export a

Constructors

ExportValue a (Name Ident)

ExportOp a (Name (OpName ValueOpName))

ExportType a (Name (ProperName TypeName)) (Maybe (DataMembers a))

ExportTypeOp a SourceToken (Name (OpName TypeOpName))

ExportClass a SourceToken (Name (ProperName ClassName))

ExportKind a SourceToken (Name (ProperName KindName))

ExportModule a SourceToken (Name ModuleName)

Instances

Functor Export

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Export

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Export m -> m

foldMap :: Monoid m => (a -> m) -> Export a -> m

foldr :: (a -> b -> b) -> b -> Export a -> b

foldr' :: (a -> b -> b) -> b -> Export a -> b

foldl :: (b -> a -> b) -> b -> Export a -> b

foldl' :: (b -> a -> b) -> b -> Export a -> b

foldr1 :: (a -> a -> a) -> Export a -> a

foldl1 :: (a -> a -> a) -> Export a -> a

toList :: Export a -> [a]

null :: Export a -> Bool

length :: Export a -> Int

elem :: Eq a => a -> Export a -> Bool

maximum :: Ord a => Export a -> a

minimum :: Ord a => Export a -> a

sum :: Num a => Export a -> a

product :: Num a => Export a -> a

Traversable Export

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Export a -> f (Export b)

sequenceA :: Applicative f => Export (f a) -> f (Export a)

mapM :: Monad m => (a -> m b) -> Export a -> m (Export b)

sequence :: Monad m => Export (m a) -> m (Export a)

Eq a => Eq (Export a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Export a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Export a -> Export a -> Ordering

(<) :: Export a -> Export a -> Bool

(<=) :: Export a -> Export a -> Bool

(>) :: Export a -> Export a -> Bool

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

max :: Export a -> Export a -> Export a

min :: Export a -> Export a -> Export a

Show a => Show (Export a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Export a -> ShowS

show :: Export a -> String

showList :: [Export a] -> ShowS

Generic (Export a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Export a) :: Type -> Type

Methods

from :: Export a -> Rep (Export a) x

to :: Rep (Export a) x -> Export a

type Rep (Export a)

Defined in Language.PureScript.CST.Types

type Rep (Export a) = D1 (MetaData "Export" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) ((C1 (MetaCons "ExportValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name Ident))) :+: (C1 (MetaCons "ExportOp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (OpName ValueOpName)))) :+: C1 (MetaCons "ExportType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName TypeName))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (DataMembers a))))))) :+: ((C1 (MetaCons "ExportTypeOp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (OpName TypeOpName))))) :+: C1 (MetaCons "ExportClass" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName ClassName)))))) :+: (C1 (MetaCons "ExportKind" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName KindName))))) :+: C1 (MetaCons "ExportModule" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name ModuleName)))))))

data DataMembers a

Constructors

DataAll a SourceToken

DataEnumerated a (Delimited (Name (ProperName ConstructorName)))

Instances

Functor DataMembers

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable DataMembers

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => DataMembers m -> m

foldMap :: Monoid m => (a -> m) -> DataMembers a -> m

foldr :: (a -> b -> b) -> b -> DataMembers a -> b

foldr' :: (a -> b -> b) -> b -> DataMembers a -> b

foldl :: (b -> a -> b) -> b -> DataMembers a -> b

foldl' :: (b -> a -> b) -> b -> DataMembers a -> b

foldr1 :: (a -> a -> a) -> DataMembers a -> a

foldl1 :: (a -> a -> a) -> DataMembers a -> a

toList :: DataMembers a -> [a]

null :: DataMembers a -> Bool

length :: DataMembers a -> Int

elem :: Eq a => a -> DataMembers a -> Bool

maximum :: Ord a => DataMembers a -> a

minimum :: Ord a => DataMembers a -> a

sum :: Num a => DataMembers a -> a

product :: Num a => DataMembers a -> a

Traversable DataMembers

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> DataMembers a -> f (DataMembers b)

sequenceA :: Applicative f => DataMembers (f a) -> f (DataMembers a)

mapM :: Monad m => (a -> m b) -> DataMembers a -> m (DataMembers b)

sequence :: Monad m => DataMembers (m a) -> m (DataMembers a)

Eq a => Eq (DataMembers a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (DataMembers a)

Defined in Language.PureScript.CST.Types

Methods

compare :: DataMembers a -> DataMembers a -> Ordering

(<) :: DataMembers a -> DataMembers a -> Bool

(<=) :: DataMembers a -> DataMembers a -> Bool

(>) :: DataMembers a -> DataMembers a -> Bool

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

max :: DataMembers a -> DataMembers a -> DataMembers a

min :: DataMembers a -> DataMembers a -> DataMembers a

Show a => Show (DataMembers a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> DataMembers a -> ShowS

show :: DataMembers a -> String

showList :: [DataMembers a] -> ShowS

Generic (DataMembers a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (DataMembers a) :: Type -> Type

Methods

from :: DataMembers a -> Rep (DataMembers a) x

to :: Rep (DataMembers a) x -> DataMembers a

type Rep (DataMembers a)

Defined in Language.PureScript.CST.Types

type Rep (DataMembers a) = D1 (MetaData "DataMembers" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "DataAll" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken)) :+: C1 (MetaCons "DataEnumerated" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Delimited (Name (ProperName ConstructorName))))))

data Declaration a

Constructors

DeclData a (DataHead a) (Maybe (SourceToken, Separated (DataCtor a)))

DeclType a (DataHead a) SourceToken (Type a)

DeclNewtype a (DataHead a) SourceToken (Name (ProperName ConstructorName)) (Type a)

DeclClass a (ClassHead a) (Maybe (SourceToken, NonEmpty (Labeled (Name Ident) (Type a))))

DeclInstanceChain a (Separated (Instance a))

DeclDerive a SourceToken (Maybe SourceToken) (InstanceHead a)

DeclSignature a (Labeled (Name Ident) (Type a))

DeclValue a (ValueBindingFields a)

DeclFixity a FixityFields

DeclForeign a SourceToken SourceToken (Foreign a)

Instances

Functor Declaration

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Declaration

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Declaration m -> m

foldMap :: Monoid m => (a -> m) -> Declaration a -> m

foldr :: (a -> b -> b) -> b -> Declaration a -> b

foldr' :: (a -> b -> b) -> b -> Declaration a -> b

foldl :: (b -> a -> b) -> b -> Declaration a -> b

foldl' :: (b -> a -> b) -> b -> Declaration a -> b

foldr1 :: (a -> a -> a) -> Declaration a -> a

foldl1 :: (a -> a -> a) -> Declaration a -> a

toList :: Declaration a -> [a]

null :: Declaration a -> Bool

length :: Declaration a -> Int

elem :: Eq a => a -> Declaration a -> Bool

maximum :: Ord a => Declaration a -> a

minimum :: Ord a => Declaration a -> a

sum :: Num a => Declaration a -> a

product :: Num a => Declaration a -> a

Traversable Declaration

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Declaration a -> f (Declaration b)

sequenceA :: Applicative f => Declaration (f a) -> f (Declaration a)

mapM :: Monad m => (a -> m b) -> Declaration a -> m (Declaration b)

sequence :: Monad m => Declaration (m a) -> m (Declaration a)

Eq a => Eq (Declaration a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Declaration a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Declaration a -> Declaration a -> Ordering

(<) :: Declaration a -> Declaration a -> Bool

(<=) :: Declaration a -> Declaration a -> Bool

(>) :: Declaration a -> Declaration a -> Bool

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

max :: Declaration a -> Declaration a -> Declaration a

min :: Declaration a -> Declaration a -> Declaration a

Show a => Show (Declaration a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Declaration a -> ShowS

show :: Declaration a -> String

showList :: [Declaration a] -> ShowS

Generic (Declaration a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Declaration a) :: Type -> Type

Methods

from :: Declaration a -> Rep (Declaration a) x

to :: Rep (Declaration a) x -> Declaration a

type Rep (Declaration a)

Defined in Language.PureScript.CST.Types

type Rep (Declaration a) = D1 (MetaData "Declaration" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (((C1 (MetaCons "DeclData" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DataHead a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (SourceToken, Separated (DataCtor a)))))) :+: C1 (MetaCons "DeclType" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DataHead a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a))))) :+: (C1 (MetaCons "DeclNewtype" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (DataHead a))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName ConstructorName))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Type a))))) :+: (C1 (MetaCons "DeclClass" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ClassHead a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (SourceToken, NonEmpty (Labeled (Name Ident) (Type a))))))) :+: C1 (MetaCons "DeclInstanceChain" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Separated (Instance a))))))) :+: ((C1 (MetaCons "DeclDerive" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe SourceToken)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InstanceHead a)))) :+: C1 (MetaCons "DeclSignature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Labeled (Name Ident) (Type a))))) :+: (C1 (MetaCons "DeclValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ValueBindingFields a))) :+: (C1 (MetaCons "DeclFixity" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FixityFields)) :+: C1 (MetaCons "DeclForeign" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Foreign a))))))))

data Instance a

Constructors

Instance

Fields

• instHead :: InstanceHead a
• instBody :: Maybe (SourceToken, NonEmpty (InstanceBinding a))

Instances

Functor Instance

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Instance

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Instance m -> m

foldMap :: Monoid m => (a -> m) -> Instance a -> m

foldr :: (a -> b -> b) -> b -> Instance a -> b

foldr' :: (a -> b -> b) -> b -> Instance a -> b

foldl :: (b -> a -> b) -> b -> Instance a -> b

foldl' :: (b -> a -> b) -> b -> Instance a -> b

foldr1 :: (a -> a -> a) -> Instance a -> a

foldl1 :: (a -> a -> a) -> Instance a -> a

toList :: Instance a -> [a]

null :: Instance a -> Bool

length :: Instance a -> Int

elem :: Eq a => a -> Instance a -> Bool

maximum :: Ord a => Instance a -> a

minimum :: Ord a => Instance a -> a

sum :: Num a => Instance a -> a

product :: Num a => Instance a -> a

Traversable Instance

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Instance a -> f (Instance b)

sequenceA :: Applicative f => Instance (f a) -> f (Instance a)

mapM :: Monad m => (a -> m b) -> Instance a -> m (Instance b)

sequence :: Monad m => Instance (m a) -> m (Instance a)

Eq a => Eq (Instance a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Instance a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Instance a -> Instance a -> Ordering

(<) :: Instance a -> Instance a -> Bool

(<=) :: Instance a -> Instance a -> Bool

(>) :: Instance a -> Instance a -> Bool

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

max :: Instance a -> Instance a -> Instance a

min :: Instance a -> Instance a -> Instance a

Show a => Show (Instance a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Instance a -> ShowS

show :: Instance a -> String

showList :: [Instance a] -> ShowS

Generic (Instance a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Instance a) :: Type -> Type

Methods

from :: Instance a -> Rep (Instance a) x

to :: Rep (Instance a) x -> Instance a

type Rep (Instance a)

Defined in Language.PureScript.CST.Types

type Rep (Instance a) = D1 (MetaData "Instance" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "Instance" PrefixI True) (S1 (MetaSel (Just "instHead") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (InstanceHead a)) :*: S1 (MetaSel (Just "instBody") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (SourceToken, NonEmpty (InstanceBinding a))))))

data InstanceBinding a

Constructors

InstanceBindingSignature a (Labeled (Name Ident) (Type a))

InstanceBindingName a (ValueBindingFields a)

Instances

Functor InstanceBinding

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable InstanceBinding

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => InstanceBinding m -> m

foldMap :: Monoid m => (a -> m) -> InstanceBinding a -> m

foldr :: (a -> b -> b) -> b -> InstanceBinding a -> b

foldr' :: (a -> b -> b) -> b -> InstanceBinding a -> b

foldl :: (b -> a -> b) -> b -> InstanceBinding a -> b

foldl' :: (b -> a -> b) -> b -> InstanceBinding a -> b

foldr1 :: (a -> a -> a) -> InstanceBinding a -> a

foldl1 :: (a -> a -> a) -> InstanceBinding a -> a

toList :: InstanceBinding a -> [a]

null :: InstanceBinding a -> Bool

length :: InstanceBinding a -> Int

elem :: Eq a => a -> InstanceBinding a -> Bool

maximum :: Ord a => InstanceBinding a -> a

minimum :: Ord a => InstanceBinding a -> a

sum :: Num a => InstanceBinding a -> a

product :: Num a => InstanceBinding a -> a

Traversable InstanceBinding

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> InstanceBinding a -> f (InstanceBinding b)

sequenceA :: Applicative f => InstanceBinding (f a) -> f (InstanceBinding a)

mapM :: Monad m => (a -> m b) -> InstanceBinding a -> m (InstanceBinding b)

sequence :: Monad m => InstanceBinding (m a) -> m (InstanceBinding a)

Eq a => Eq (InstanceBinding a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (InstanceBinding a)

Defined in Language.PureScript.CST.Types

Methods

compare :: InstanceBinding a -> InstanceBinding a -> Ordering

(<) :: InstanceBinding a -> InstanceBinding a -> Bool

(<=) :: InstanceBinding a -> InstanceBinding a -> Bool

(>) :: InstanceBinding a -> InstanceBinding a -> Bool

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

max :: InstanceBinding a -> InstanceBinding a -> InstanceBinding a

min :: InstanceBinding a -> InstanceBinding a -> InstanceBinding a

Show a => Show (InstanceBinding a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> InstanceBinding a -> ShowS

show :: InstanceBinding a -> String

showList :: [InstanceBinding a] -> ShowS

Generic (InstanceBinding a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (InstanceBinding a) :: Type -> Type

Methods

from :: InstanceBinding a -> Rep (InstanceBinding a) x

to :: Rep (InstanceBinding a) x -> InstanceBinding a

type Rep (InstanceBinding a)

Defined in Language.PureScript.CST.Types

type Rep (InstanceBinding a) = D1 (MetaData "InstanceBinding" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "InstanceBindingSignature" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Labeled (Name Ident) (Type a)))) :+: C1 (MetaCons "InstanceBindingName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ValueBindingFields a))))

data ImportDecl a

Constructors

ImportDecl

Fields

• impAnn :: a
• impKeyword :: SourceToken
• impModule :: Name ModuleName
• impNames :: Maybe (Maybe SourceToken, DelimitedNonEmpty (Import a))
• impQual :: Maybe (SourceToken, Name ModuleName)

Instances

Functor ImportDecl

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable ImportDecl

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => ImportDecl m -> m

foldMap :: Monoid m => (a -> m) -> ImportDecl a -> m

foldr :: (a -> b -> b) -> b -> ImportDecl a -> b

foldr' :: (a -> b -> b) -> b -> ImportDecl a -> b

foldl :: (b -> a -> b) -> b -> ImportDecl a -> b

foldl' :: (b -> a -> b) -> b -> ImportDecl a -> b

foldr1 :: (a -> a -> a) -> ImportDecl a -> a

foldl1 :: (a -> a -> a) -> ImportDecl a -> a

toList :: ImportDecl a -> [a]

null :: ImportDecl a -> Bool

length :: ImportDecl a -> Int

elem :: Eq a => a -> ImportDecl a -> Bool

maximum :: Ord a => ImportDecl a -> a

minimum :: Ord a => ImportDecl a -> a

sum :: Num a => ImportDecl a -> a

product :: Num a => ImportDecl a -> a

Traversable ImportDecl

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> ImportDecl a -> f (ImportDecl b)

sequenceA :: Applicative f => ImportDecl (f a) -> f (ImportDecl a)

mapM :: Monad m => (a -> m b) -> ImportDecl a -> m (ImportDecl b)

sequence :: Monad m => ImportDecl (m a) -> m (ImportDecl a)

Eq a => Eq (ImportDecl a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (ImportDecl a)

Defined in Language.PureScript.CST.Types

Methods

compare :: ImportDecl a -> ImportDecl a -> Ordering

(<) :: ImportDecl a -> ImportDecl a -> Bool

(<=) :: ImportDecl a -> ImportDecl a -> Bool

(>) :: ImportDecl a -> ImportDecl a -> Bool

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

max :: ImportDecl a -> ImportDecl a -> ImportDecl a

min :: ImportDecl a -> ImportDecl a -> ImportDecl a

Show a => Show (ImportDecl a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> ImportDecl a -> ShowS

show :: ImportDecl a -> String

showList :: [ImportDecl a] -> ShowS

Generic (ImportDecl a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (ImportDecl a) :: Type -> Type

Methods

from :: ImportDecl a -> Rep (ImportDecl a) x

to :: Rep (ImportDecl a) x -> ImportDecl a

type Rep (ImportDecl a)

Defined in Language.PureScript.CST.Types

type Rep (ImportDecl a) = D1 (MetaData "ImportDecl" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "ImportDecl" PrefixI True) ((S1 (MetaSel (Just "impAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Just "impKeyword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken)) :*: (S1 (MetaSel (Just "impModule") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name ModuleName)) :*: (S1 (MetaSel (Just "impNames") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Maybe SourceToken, DelimitedNonEmpty (Import a)))) :*: S1 (MetaSel (Just "impQual") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (SourceToken, Name ModuleName)))))))

data Import a

Constructors

ImportValue a (Name Ident)

ImportOp a (Name (OpName ValueOpName))

ImportType a (Name (ProperName TypeName)) (Maybe (DataMembers a))

ImportTypeOp a SourceToken (Name (OpName TypeOpName))

ImportClass a SourceToken (Name (ProperName ClassName))

ImportKind a SourceToken (Name (ProperName KindName))

Instances

Functor Import

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable Import

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => Import m -> m

foldMap :: Monoid m => (a -> m) -> Import a -> m

foldr :: (a -> b -> b) -> b -> Import a -> b

foldr' :: (a -> b -> b) -> b -> Import a -> b

foldl :: (b -> a -> b) -> b -> Import a -> b

foldl' :: (b -> a -> b) -> b -> Import a -> b

foldr1 :: (a -> a -> a) -> Import a -> a

foldl1 :: (a -> a -> a) -> Import a -> a

toList :: Import a -> [a]

null :: Import a -> Bool

length :: Import a -> Int

elem :: Eq a => a -> Import a -> Bool

maximum :: Ord a => Import a -> a

minimum :: Ord a => Import a -> a

sum :: Num a => Import a -> a

product :: Num a => Import a -> a

Traversable Import

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> Import a -> f (Import b)

sequenceA :: Applicative f => Import (f a) -> f (Import a)

mapM :: Monad m => (a -> m b) -> Import a -> m (Import b)

sequence :: Monad m => Import (m a) -> m (Import a)

Eq a => Eq (Import a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (Import a)

Defined in Language.PureScript.CST.Types

Methods

compare :: Import a -> Import a -> Ordering

(<) :: Import a -> Import a -> Bool

(<=) :: Import a -> Import a -> Bool

(>) :: Import a -> Import a -> Bool

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

max :: Import a -> Import a -> Import a

min :: Import a -> Import a -> Import a

Show a => Show (Import a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> Import a -> ShowS

show :: Import a -> String

showList :: [Import a] -> ShowS

Generic (Import a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (Import a) :: Type -> Type

Methods

from :: Import a -> Rep (Import a) x

to :: Rep (Import a) x -> Import a

type Rep (Import a)

Defined in Language.PureScript.CST.Types

type Rep (Import a) = D1 (MetaData "Import" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) ((C1 (MetaCons "ImportValue" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name Ident))) :+: (C1 (MetaCons "ImportOp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (OpName ValueOpName)))) :+: C1 (MetaCons "ImportType" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName TypeName))) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (DataMembers a))))))) :+: (C1 (MetaCons "ImportTypeOp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (OpName TypeOpName))))) :+: (C1 (MetaCons "ImportClass" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName ClassName))))) :+: C1 (MetaCons "ImportKind" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName KindName))))))))

data DataHead a

Constructors

DataHead

Fields

• dataHdKeyword :: SourceToken
• dataHdName :: Name (ProperName TypeName)
• dataHdVars :: [TypeVarBinding a]

Instances

Functor DataHead

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable DataHead

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => DataHead m -> m

foldMap :: Monoid m => (a -> m) -> DataHead a -> m

foldr :: (a -> b -> b) -> b -> DataHead a -> b

foldr' :: (a -> b -> b) -> b -> DataHead a -> b

foldl :: (b -> a -> b) -> b -> DataHead a -> b

foldl' :: (b -> a -> b) -> b -> DataHead a -> b

foldr1 :: (a -> a -> a) -> DataHead a -> a

foldl1 :: (a -> a -> a) -> DataHead a -> a

toList :: DataHead a -> [a]

null :: DataHead a -> Bool

length :: DataHead a -> Int

elem :: Eq a => a -> DataHead a -> Bool

maximum :: Ord a => DataHead a -> a

minimum :: Ord a => DataHead a -> a

sum :: Num a => DataHead a -> a

product :: Num a => DataHead a -> a

Traversable DataHead

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> DataHead a -> f (DataHead b)

sequenceA :: Applicative f => DataHead (f a) -> f (DataHead a)

mapM :: Monad m => (a -> m b) -> DataHead a -> m (DataHead b)

sequence :: Monad m => DataHead (m a) -> m (DataHead a)

Eq a => Eq (DataHead a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (DataHead a)

Defined in Language.PureScript.CST.Types

Methods

compare :: DataHead a -> DataHead a -> Ordering

(<) :: DataHead a -> DataHead a -> Bool

(<=) :: DataHead a -> DataHead a -> Bool

(>) :: DataHead a -> DataHead a -> Bool

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

max :: DataHead a -> DataHead a -> DataHead a

min :: DataHead a -> DataHead a -> DataHead a

Show a => Show (DataHead a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> DataHead a -> ShowS

show :: DataHead a -> String

showList :: [DataHead a] -> ShowS

Generic (DataHead a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (DataHead a) :: Type -> Type

Methods

from :: DataHead a -> Rep (DataHead a) x

to :: Rep (DataHead a) x -> DataHead a

type Rep (DataHead a)

Defined in Language.PureScript.CST.Types

type Rep (DataHead a) = D1 (MetaData "DataHead" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "DataHead" PrefixI True) (S1 (MetaSel (Just "dataHdKeyword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: (S1 (MetaSel (Just "dataHdName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName TypeName))) :*: S1 (MetaSel (Just "dataHdVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeVarBinding a]))))

data DataCtor a

Constructors

DataCtor

Fields

• dataCtorAnn :: a
• dataCtorName :: Name (ProperName ConstructorName)
• dataCtorFields :: [Type a]

Instances

Functor DataCtor

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable DataCtor

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => DataCtor m -> m

foldMap :: Monoid m => (a -> m) -> DataCtor a -> m

foldr :: (a -> b -> b) -> b -> DataCtor a -> b

foldr' :: (a -> b -> b) -> b -> DataCtor a -> b

foldl :: (b -> a -> b) -> b -> DataCtor a -> b

foldl' :: (b -> a -> b) -> b -> DataCtor a -> b

foldr1 :: (a -> a -> a) -> DataCtor a -> a

foldl1 :: (a -> a -> a) -> DataCtor a -> a

toList :: DataCtor a -> [a]

null :: DataCtor a -> Bool

length :: DataCtor a -> Int

elem :: Eq a => a -> DataCtor a -> Bool

maximum :: Ord a => DataCtor a -> a

minimum :: Ord a => DataCtor a -> a

sum :: Num a => DataCtor a -> a

product :: Num a => DataCtor a -> a

Traversable DataCtor

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> DataCtor a -> f (DataCtor b)

sequenceA :: Applicative f => DataCtor (f a) -> f (DataCtor a)

mapM :: Monad m => (a -> m b) -> DataCtor a -> m (DataCtor b)

sequence :: Monad m => DataCtor (m a) -> m (DataCtor a)

Eq a => Eq (DataCtor a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (DataCtor a)

Defined in Language.PureScript.CST.Types

Methods

compare :: DataCtor a -> DataCtor a -> Ordering

(<) :: DataCtor a -> DataCtor a -> Bool

(<=) :: DataCtor a -> DataCtor a -> Bool

(>) :: DataCtor a -> DataCtor a -> Bool

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

max :: DataCtor a -> DataCtor a -> DataCtor a

min :: DataCtor a -> DataCtor a -> DataCtor a

Show a => Show (DataCtor a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> DataCtor a -> ShowS

show :: DataCtor a -> String

showList :: [DataCtor a] -> ShowS

Generic (DataCtor a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (DataCtor a) :: Type -> Type

Methods

from :: DataCtor a -> Rep (DataCtor a) x

to :: Rep (DataCtor a) x -> DataCtor a

type Rep (DataCtor a)

Defined in Language.PureScript.CST.Types

type Rep (DataCtor a) = D1 (MetaData "DataCtor" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "DataCtor" PrefixI True) (S1 (MetaSel (Just "dataCtorAnn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: (S1 (MetaSel (Just "dataCtorName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName ConstructorName))) :*: S1 (MetaSel (Just "dataCtorFields") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Type a]))))

data ClassHead a

Constructors

ClassHead

Fields

• clsKeyword :: SourceToken
• clsSuper :: Maybe (OneOrDelimited (Constraint a), SourceToken)
• clsName :: Name (ProperName ClassName)
• clsVars :: [TypeVarBinding a]
• clsFundeps :: Maybe (SourceToken, Separated ClassFundep)

Instances

Functor ClassHead

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable ClassHead

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => ClassHead m -> m

foldMap :: Monoid m => (a -> m) -> ClassHead a -> m

foldr :: (a -> b -> b) -> b -> ClassHead a -> b

foldr' :: (a -> b -> b) -> b -> ClassHead a -> b

foldl :: (b -> a -> b) -> b -> ClassHead a -> b

foldl' :: (b -> a -> b) -> b -> ClassHead a -> b

foldr1 :: (a -> a -> a) -> ClassHead a -> a

foldl1 :: (a -> a -> a) -> ClassHead a -> a

toList :: ClassHead a -> [a]

null :: ClassHead a -> Bool

length :: ClassHead a -> Int

elem :: Eq a => a -> ClassHead a -> Bool

maximum :: Ord a => ClassHead a -> a

minimum :: Ord a => ClassHead a -> a

sum :: Num a => ClassHead a -> a

product :: Num a => ClassHead a -> a

Traversable ClassHead

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> ClassHead a -> f (ClassHead b)

sequenceA :: Applicative f => ClassHead (f a) -> f (ClassHead a)

mapM :: Monad m => (a -> m b) -> ClassHead a -> m (ClassHead b)

sequence :: Monad m => ClassHead (m a) -> m (ClassHead a)

Eq a => Eq (ClassHead a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (ClassHead a)

Defined in Language.PureScript.CST.Types

Methods

compare :: ClassHead a -> ClassHead a -> Ordering

(<) :: ClassHead a -> ClassHead a -> Bool

(<=) :: ClassHead a -> ClassHead a -> Bool

(>) :: ClassHead a -> ClassHead a -> Bool

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

max :: ClassHead a -> ClassHead a -> ClassHead a

min :: ClassHead a -> ClassHead a -> ClassHead a

Show a => Show (ClassHead a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> ClassHead a -> ShowS

show :: ClassHead a -> String

showList :: [ClassHead a] -> ShowS

Generic (ClassHead a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (ClassHead a) :: Type -> Type

Methods

from :: ClassHead a -> Rep (ClassHead a) x

to :: Rep (ClassHead a) x -> ClassHead a

type Rep (ClassHead a)

Defined in Language.PureScript.CST.Types

type Rep (ClassHead a) = D1 (MetaData "ClassHead" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "ClassHead" PrefixI True) ((S1 (MetaSel (Just "clsKeyword") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Just "clsSuper") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (OneOrDelimited (Constraint a), SourceToken)))) :*: (S1 (MetaSel (Just "clsName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Name (ProperName ClassName))) :*: (S1 (MetaSel (Just "clsVars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TypeVarBinding a]) :*: S1 (MetaSel (Just "clsFundeps") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (SourceToken, Separated ClassFundep)))))))

data ClassFundep

Constructors

FundepDetermined SourceToken (NonEmpty (Name Ident))

FundepDetermines (NonEmpty (Name Ident)) SourceToken (NonEmpty (Name Ident))

Instances

Eq ClassFundep

Defined in Language.PureScript.CST.Types

Methods

(==) :: ClassFundep -> ClassFundep -> Bool

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

Ord ClassFundep

Defined in Language.PureScript.CST.Types

Methods

compare :: ClassFundep -> ClassFundep -> Ordering

(<) :: ClassFundep -> ClassFundep -> Bool

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

(>) :: ClassFundep -> ClassFundep -> Bool

(>=) :: ClassFundep -> ClassFundep -> Bool

max :: ClassFundep -> ClassFundep -> ClassFundep

min :: ClassFundep -> ClassFundep -> ClassFundep

Show ClassFundep

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> ClassFundep -> ShowS

show :: ClassFundep -> String

showList :: [ClassFundep] -> ShowS

Generic ClassFundep

Defined in Language.PureScript.CST.Types

Associated Types

type Rep ClassFundep :: Type -> Type

Methods

from :: ClassFundep -> Rep ClassFundep x

to :: Rep ClassFundep x -> ClassFundep

type Rep ClassFundep

Defined in Language.PureScript.CST.Types

type Rep ClassFundep = D1 (MetaData "ClassFundep" "Language.PureScript.CST.Types" "purescript-0.13.8-3suDZOoNqEmGMNoGwLr2r9" False) (C1 (MetaCons "FundepDetermined" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (Name Ident)))) :+: C1 (MetaCons "FundepDetermines" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (Name Ident))) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SourceToken) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty (Name Ident))))))

data InstanceHead a

Constructors

InstanceHead

Fields

• instKeyword :: SourceToken
• instName :: Name Ident
• instSep :: SourceToken
• instConstraints :: Maybe (OneOrDelimited (Constraint a), SourceToken)
• instClass :: QualifiedName (ProperName ClassName)
• instTypes :: [Type a]

Instances

Functor InstanceHead

Defined in Language.PureScript.CST.Types

Methods

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

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

Foldable InstanceHead

Defined in Language.PureScript.CST.Types

Methods

fold :: Monoid m => InstanceHead m -> m

foldMap :: Monoid m => (a -> m) -> InstanceHead a -> m

foldr :: (a -> b -> b) -> b -> InstanceHead a -> b

foldr' :: (a -> b -> b) -> b -> InstanceHead a -> b

foldl :: (b -> a -> b) -> b -> InstanceHead a -> b

foldl' :: (b -> a -> b) -> b -> InstanceHead a -> b

foldr1 :: (a -> a -> a) -> InstanceHead a -> a

foldl1 :: (a -> a -> a) -> InstanceHead a -> a

toList :: InstanceHead a -> [a]

null :: InstanceHead a -> Bool

length :: InstanceHead a -> Int

elem :: Eq a => a -> InstanceHead a -> Bool

maximum :: Ord a => InstanceHead a -> a

minimum :: Ord a => InstanceHead a -> a

sum :: Num a => InstanceHead a -> a

product :: Num a => InstanceHead a -> a

Traversable InstanceHead

Defined in Language.PureScript.CST.Types

Methods

traverse :: Applicative f => (a -> f b) -> InstanceHead a -> f (InstanceHead b)

sequenceA :: Applicative f => InstanceHead (f a) -> f (InstanceHead a)

mapM :: Monad m => (a -> m b) -> InstanceHead a -> m (InstanceHead b)

sequence :: Monad m => InstanceHead (m a) -> m (InstanceHead a)

Eq a => Eq (InstanceHead a)

Defined in Language.PureScript.CST.Types

Methods

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

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

Ord a => Ord (InstanceHead a)

Defined in Language.PureScript.CST.Types

Methods

compare :: InstanceHead a -> InstanceHead a -> Ordering

(<) :: InstanceHead a -> InstanceHead a -> Bool

(<=) :: InstanceHead a -> InstanceHead a -> Bool

(>) :: InstanceHead a -> InstanceHead a -> Bool

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

max :: InstanceHead a -> InstanceHead a -> InstanceHead a

min :: InstanceHead a -> InstanceHead a -> InstanceHead a

Show a => Show (InstanceHead a)

Defined in Language.PureScript.CST.Types

Methods

showsPrec :: Int -> InstanceHead a -> ShowS

show :: InstanceHead a -> String

showList :: [InstanceHead a] -> ShowS

Generic (InstanceHead a)

Defined in Language.PureScript.CST.Types

Associated Types

type Rep (InstanceHead a) :: Type ->