Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.PureScript.CST.Types
Description
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
Instances
data SourceRange #
Constructors
SourceRange | |
Instances
NFData SourceRange # | |||||
Defined in Language.PureScript.CST.Types Methods rnf :: SourceRange -> () # | |||||
Generic SourceRange # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show SourceRange # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> SourceRange -> ShowS # show :: SourceRange -> String # showList :: [SourceRange] -> ShowS # | |||||
Eq SourceRange # | |||||
Defined in Language.PureScript.CST.Types | |||||
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 # | |||||
type Rep SourceRange # | |||||
Defined in Language.PureScript.CST.Types type Rep SourceRange = D1 ('MetaData "SourceRange" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "SourceRange" 'PrefixI 'True) (S1 ('MetaSel ('Just "srcStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :*: S1 ('MetaSel ('Just "srcEnd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos))) |
Instances
Functor Comment # | |||||
NFData l => NFData (Comment l) # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic (Comment l) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show l => Show (Comment l) # | |||||
Eq l => Eq (Comment l) # | |||||
Ord l => Ord (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.15.15-8K0LbmS63k4ILju2RsIrDp" '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)))) |
Constructors
TokenAnn | |
Fields
|
Instances
NFData TokenAnn # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic TokenAnn # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show TokenAnn # | |||||
Eq TokenAnn # | |||||
Ord TokenAnn # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep TokenAnn # | |||||
Defined in Language.PureScript.CST.Types type Rep TokenAnn = D1 ('MetaData "TokenAnn" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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 #
Instances
NFData SourceStyle # | |||||
Defined in Language.PureScript.CST.Types Methods rnf :: SourceStyle -> () # | |||||
Generic SourceStyle # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show SourceStyle # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> SourceStyle -> ShowS # show :: SourceStyle -> String # showList :: [SourceStyle] -> ShowS # | |||||
Eq SourceStyle # | |||||
Defined in Language.PureScript.CST.Types | |||||
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 # | |||||
type Rep SourceStyle # | |||||
Defined in Language.PureScript.CST.Types |
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
NFData Token # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic Token # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show Token # | |||||
Eq Token # | |||||
Ord Token # | |||||
type Rep Token # | |||||
Defined in Language.PureScript.CST.Types type Rep Token = D1 ('MetaData "Token" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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 | |
Instances
NFData SourceToken # | |||||
Defined in Language.PureScript.CST.Types Methods rnf :: SourceToken -> () # | |||||
Generic SourceToken # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show SourceToken # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> SourceToken -> ShowS # show :: SourceToken -> String # showList :: [SourceToken] -> ShowS # | |||||
Eq SourceToken # | |||||
Defined in Language.PureScript.CST.Types | |||||
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 # | |||||
type Rep SourceToken # | |||||
Defined in Language.PureScript.CST.Types type Rep SourceToken = D1 ('MetaData "SourceToken" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "SourceToken" 'PrefixI 'True) (S1 ('MetaSel ('Just "tokAnn") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TokenAnn) :*: S1 ('MetaSel ('Just "tokValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Token))) |
Constructors
Name | |
Fields
|
Instances
Functor Name # | |||||
Foldable Name # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Name m -> m # foldMap :: Monoid m => (a -> m) -> Name a -> 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 # elem :: Eq a => a -> Name a -> Bool # maximum :: Ord a => Name a -> a # | |||||
Traversable Name # | |||||
Generic (Name a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Name a) # | |||||
Eq a => Eq (Name a) # | |||||
Ord a => Ord (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.15.15-8K0LbmS63k4ILju2RsIrDp" '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
|
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 # 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) # | |||||
Generic (QualifiedName a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: QualifiedName a -> Rep (QualifiedName a) x # to :: Rep (QualifiedName a) x -> 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 # | |||||
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 # | |||||
type Rep (QualifiedName a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (QualifiedName a) = D1 ('MetaData "QualifiedName" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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)))) |
Constructors
Label | |
Fields
|
Instances
Generic Label # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show Label # | |||||
Eq Label # | |||||
Ord Label # | |||||
type Rep Label # | |||||
Defined in Language.PureScript.CST.Types type Rep Label = D1 ('MetaData "Label" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Label" 'PrefixI 'True) (S1 ('MetaSel ('Just "lblTok") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "lblName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PSString))) |
Constructors
Wrapped | |
Fields
|
Instances
Functor Wrapped # | |||||
Foldable Wrapped # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Wrapped m -> m # foldMap :: Monoid m => (a -> m) -> Wrapped a -> 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 # elem :: Eq a => a -> Wrapped a -> Bool # maximum :: Ord a => Wrapped a -> a # minimum :: Ord a => Wrapped a -> a # | |||||
Traversable Wrapped # | |||||
Generic (Wrapped a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Wrapped a) # | |||||
Eq a => Eq (Wrapped a) # | |||||
Ord a => Ord (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.15.15-8K0LbmS63k4ILju2RsIrDp" '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)))) |
Constructors
Separated | |
Fields
|
Instances
Functor Separated # | |||||
Foldable Separated # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Separated m -> m # foldMap :: Monoid m => (a -> m) -> Separated a -> 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] # length :: Separated a -> Int # elem :: Eq a => a -> Separated a -> Bool # maximum :: Ord a => Separated a -> a # minimum :: Ord a => Separated a -> a # | |||||
Traversable Separated # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic (Separated a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Separated a) # | |||||
Eq a => Eq (Separated a) # | |||||
Ord a => Ord (Separated a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (Separated a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Separated a) = D1 ('MetaData "Separated" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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)]))) |
Constructors
Labeled | |
Fields
|
Instances
Functor (Labeled a) # | |||||
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 # 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 # | |||||
Traversable (Labeled a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic (Labeled a b) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
(Show a, Show b) => Show (Labeled a b) # | |||||
(Eq a, Eq b) => Eq (Labeled a b) # | |||||
(Ord a, Ord b) => Ord (Labeled a b) # | |||||
Defined in Language.PureScript.CST.Types | |||||
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.15.15-8K0LbmS63k4ILju2RsIrDp" '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 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 # 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) # | |||||
Generic (OneOrDelimited a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: OneOrDelimited a -> Rep (OneOrDelimited a) x # to :: Rep (OneOrDelimited a) x -> 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 # | |||||
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 # | |||||
type Rep (OneOrDelimited a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (OneOrDelimited a) = D1 ('MetaData "OneOrDelimited" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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)))) |
Constructors
TypeVar a (Name Ident) | |
TypeConstructor a (QualifiedName (ProperName 'TypeName)) | |
TypeWildcard a SourceToken | |
TypeHole a (Name Ident) | |
TypeString a SourceToken PSString | |
TypeInt a (Maybe SourceToken) SourceToken Integer | |
TypeRow a (Wrapped (Row a)) | |
TypeRecord a (Wrapped (Row a)) | |
TypeForall a SourceToken (NonEmpty (TypeVarBinding a)) SourceToken (Type a) | |
TypeKinded a (Type a) SourceToken (Type 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)) | |
TypeUnaryRow a SourceToken (Type a) |
Instances
Functor Type # | |||||
Foldable Type # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Type m -> m # foldMap :: Monoid m => (a -> m) -> Type a -> 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 # elem :: Eq a => a -> Type a -> Bool # maximum :: Ord a => Type a -> a # | |||||
Traversable Type # | |||||
Generic (Type a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Type a) # | |||||
Eq a => Eq (Type a) # | |||||
Ord a => Ord (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.15.15-8K0LbmS63k4ILju2RsIrDp" '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 "TypeInt" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceToken))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))) :+: (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 (Type 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)))) :+: C1 ('MetaCons "TypeUnaryRow" '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 (Type a))))))))) |
data TypeVarBinding a #
Constructors
TypeVarKinded (Wrapped (Labeled (Maybe SourceToken, Name Ident) (Type a))) | |
TypeVarName (Maybe SourceToken, 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 # 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) # | |||||
Generic (TypeVarBinding a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: TypeVarBinding a -> Rep (TypeVarBinding a) x # to :: Rep (TypeVarBinding a) x -> 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 # | |||||
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 # | |||||
type Rep (TypeVarBinding a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (TypeVarBinding a) = D1 ('MetaData "TypeVarBinding" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "TypeVarKinded" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wrapped (Labeled (Maybe SourceToken, Name Ident) (Type a))))) :+: C1 ('MetaCons "TypeVarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceToken, 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 # 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) # | |||||
Generic (Constraint a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
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 # | |||||
Eq a => Eq (Constraint a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
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 # | |||||
type Rep (Constraint a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Constraint a) = D1 ('MetaData "Constraint" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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))))) |
Constructors
Row | |
Instances
Functor Row # | |||||
Foldable Row # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Row m -> m # foldMap :: Monoid m => (a -> m) -> Row a -> 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 # elem :: Eq a => a -> Row a -> Bool # maximum :: Ord a => Row a -> a # | |||||
Traversable Row # | |||||
Generic (Row a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Row a) # | |||||
Eq a => Eq (Row a) # | |||||
Ord a => Ord (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.15.15-8K0LbmS63k4ILju2RsIrDp" '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))))) |
Constructors
Module | |
Fields
|
Instances
Functor Module # | |||||
Foldable Module # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Module m -> m # foldMap :: Monoid m => (a -> m) -> Module a -> 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 # elem :: Eq a => a -> Module a -> Bool # maximum :: Ord a => Module a -> a # minimum :: Ord a => Module a -> a # | |||||
Traversable Module # | |||||
Generic (Module a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Module a) # | |||||
Eq a => Eq (Module a) # | |||||
Ord a => Ord (Module a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (Module a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Module a) = D1 ('MetaData "Module" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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]))))) |
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)) | |
ExportModule a SourceToken (Name ModuleName) |
Instances
Functor Export # | |||||
Foldable Export # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Export m -> m # foldMap :: Monoid m => (a -> m) -> Export a -> 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 # elem :: Eq a => a -> Export a -> Bool # maximum :: Ord a => Export a -> a # minimum :: Ord a => Export a -> a # | |||||
Traversable Export # | |||||
Generic (Export a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Export a) # | |||||
Eq a => Eq (Export a) # | |||||
Ord a => Ord (Export a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (Export a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Export a) = D1 ('MetaData "Export" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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 "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 # 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) # | |||||
Generic (DataMembers a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: DataMembers a -> Rep (DataMembers a) x # to :: Rep (DataMembers a) x -> 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 # | |||||
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 # | |||||
type Rep (DataMembers a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (DataMembers a) = D1 ('MetaData "DataMembers" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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) | |
DeclKindSignature a SourceToken (Labeled (Name (ProperName 'TypeName)) (Type a)) | |
DeclSignature a (Labeled (Name Ident) (Type a)) | |
DeclValue a (ValueBindingFields a) | |
DeclFixity a FixityFields | |
DeclForeign a SourceToken SourceToken (Foreign a) | |
DeclRole a SourceToken SourceToken (Name (ProperName 'TypeName)) (NonEmpty Role) |
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 # 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) # | |||||
Generic (Declaration a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: Declaration a -> Rep (Declaration a) x # to :: Rep (Declaration a) x -> 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 # | |||||
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 # | |||||
type Rep (Declaration a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Declaration a) = D1 ('MetaData "Declaration" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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 "DeclKindSignature" '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 (Labeled (Name (ProperName 'TypeName)) (Type 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)))) :+: C1 ('MetaCons "DeclRole" '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 (Name (ProperName 'TypeName))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Role))))))))) |
Constructors
Instance | |
Fields
|
Instances
Functor Instance # | |||||
Foldable Instance # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Instance m -> m # foldMap :: Monoid m => (a -> m) -> Instance a -> 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 # elem :: Eq a => a -> Instance a -> Bool # maximum :: Ord a => Instance a -> a # minimum :: Ord a => Instance a -> a # | |||||
Traversable Instance # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic (Instance a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Instance a) # | |||||
Eq a => Eq (Instance a) # | |||||
Ord a => Ord (Instance a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (Instance a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Instance a) = D1 ('MetaData "Instance" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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 # 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) # | |||||
Generic (InstanceBinding a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: InstanceBinding a -> Rep (InstanceBinding a) x # to :: Rep (InstanceBinding a) x -> 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 # | |||||
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 # | |||||
type Rep (InstanceBinding a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (InstanceBinding a) = D1 ('MetaData "InstanceBinding" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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
|
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 # 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) # | |||||
Generic (ImportDecl a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
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 # | |||||
Eq a => Eq (ImportDecl a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
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 # | |||||
type Rep (ImportDecl a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (ImportDecl a) = D1 ('MetaData "ImportDecl" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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))))))) |
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)) |
Instances
Functor Import # | |||||
Foldable Import # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Import m -> m # foldMap :: Monoid m => (a -> m) -> Import a -> 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 # elem :: Eq a => a -> Import a -> Bool # maximum :: Ord a => Import a -> a # minimum :: Ord a => Import a -> a # | |||||
Traversable Import # | |||||
Generic (Import a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Import a) # | |||||
Eq a => Eq (Import a) # | |||||
Ord a => Ord (Import a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (Import a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Import a) = D1 ('MetaData "Import" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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)))))))) |
Constructors
DataHead | |
Fields
|
Instances
Functor DataHead # | |||||
Foldable DataHead # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => DataHead m -> m # foldMap :: Monoid m => (a -> m) -> DataHead a -> 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 # elem :: Eq a => a -> DataHead a -> Bool # maximum :: Ord a => DataHead a -> a # minimum :: Ord a => DataHead a -> a # | |||||
Traversable DataHead # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic (DataHead a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (DataHead a) # | |||||
Eq a => Eq (DataHead a) # | |||||
Ord a => Ord (DataHead a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (DataHead a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (DataHead a) = D1 ('MetaData "DataHead" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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])))) |
Constructors
DataCtor | |
Fields
|
Instances
Functor DataCtor # | |||||
Foldable DataCtor # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => DataCtor m -> m # foldMap :: Monoid m => (a -> m) -> DataCtor a -> 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 # elem :: Eq a => a -> DataCtor a -> Bool # maximum :: Ord a => DataCtor a -> a # minimum :: Ord a => DataCtor a -> a # | |||||
Traversable DataCtor # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic (DataCtor a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (DataCtor a) # | |||||
Eq a => Eq (DataCtor a) # | |||||
Ord a => Ord (DataCtor a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (DataCtor a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (DataCtor a) = D1 ('MetaData "DataCtor" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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])))) |
Constructors
ClassHead | |
Fields
|
Instances
Functor ClassHead # | |||||
Foldable ClassHead # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => ClassHead m -> m # foldMap :: Monoid m => (a -> m) -> ClassHead a -> 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] # length :: ClassHead a -> Int # elem :: Eq a => a -> ClassHead a -> Bool # maximum :: Ord a => ClassHead a -> a # minimum :: Ord a => ClassHead a -> a # | |||||
Traversable ClassHead # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic (ClassHead a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (ClassHead a) # | |||||
Eq a => Eq (ClassHead a) # | |||||
Ord a => Ord (ClassHead a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (ClassHead a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (ClassHead a) = D1 ('MetaData "ClassHead" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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
Generic ClassFundep # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show ClassFundep # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> ClassFundep -> ShowS # show :: ClassFundep -> String # showList :: [ClassFundep] -> ShowS # | |||||
Eq ClassFundep # | |||||
Defined in Language.PureScript.CST.Types | |||||
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 # | |||||
type Rep ClassFundep # | |||||
Defined in Language.PureScript.CST.Types type Rep ClassFundep = D1 ('MetaData "ClassFundep" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" '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
|
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 # 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) # | |||||
Generic (InstanceHead a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: InstanceHead a -> Rep (InstanceHead a) x # to :: Rep (InstanceHead a) x -> 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 # | |||||
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 # | |||||
type Rep (InstanceHead a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (InstanceHead a) = D1 ('MetaData "InstanceHead" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "InstanceHead" 'PrefixI 'True) ((S1 ('MetaSel ('Just "instKeyword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "instNameSep") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Name Ident, SourceToken)))) :*: (S1 ('MetaSel ('Just "instConstraints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (OneOrDelimited (Constraint a), SourceToken))) :*: (S1 ('MetaSel ('Just "instClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName (ProperName 'ClassName))) :*: S1 ('MetaSel ('Just "instTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type a]))))) |
Instances
Generic Fixity # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show Fixity # | |||||
Eq Fixity # | |||||
Ord Fixity # | |||||
type Rep Fixity # | |||||
Defined in Language.PureScript.CST.Types type Rep Fixity = D1 ('MetaData "Fixity" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Infix" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Infixl" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Infixr" 'PrefixI 'False) (U1 :: Type -> Type))) |
Constructors
FixityValue (QualifiedName (Either Ident (ProperName 'ConstructorName))) SourceToken (Name (OpName 'ValueOpName)) | |
FixityType SourceToken (QualifiedName (ProperName 'TypeName)) SourceToken (Name (OpName 'TypeOpName)) |
Instances
Generic FixityOp # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show FixityOp # | |||||
Eq FixityOp # | |||||
Ord FixityOp # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep FixityOp # | |||||
Defined in Language.PureScript.CST.Types type Rep FixityOp = D1 ('MetaData "FixityOp" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "FixityValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName (Either Ident (ProperName 'ConstructorName)))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name (OpName 'ValueOpName))))) :+: C1 ('MetaCons "FixityType" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName (ProperName 'TypeName)))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name (OpName 'TypeOpName)))))) |
data FixityFields #
Constructors
FixityFields | |
Fields
|
Instances
Generic FixityFields # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show FixityFields # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> FixityFields -> ShowS # show :: FixityFields -> String # showList :: [FixityFields] -> ShowS # | |||||
Eq FixityFields # | |||||
Defined in Language.PureScript.CST.Types | |||||
Ord FixityFields # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: FixityFields -> FixityFields -> Ordering # (<) :: FixityFields -> FixityFields -> Bool # (<=) :: FixityFields -> FixityFields -> Bool # (>) :: FixityFields -> FixityFields -> Bool # (>=) :: FixityFields -> FixityFields -> Bool # max :: FixityFields -> FixityFields -> FixityFields # min :: FixityFields -> FixityFields -> FixityFields # | |||||
type Rep FixityFields # | |||||
Defined in Language.PureScript.CST.Types type Rep FixityFields = D1 ('MetaData "FixityFields" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "FixityFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "fxtKeyword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SourceToken, Fixity)) :*: (S1 ('MetaSel ('Just "fxtPrec") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SourceToken, Integer)) :*: S1 ('MetaSel ('Just "fxtOp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FixityOp)))) |
data ValueBindingFields a #
Constructors
ValueBindingFields | |
Fields
|
Instances
Functor ValueBindingFields # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> ValueBindingFields a -> ValueBindingFields b # (<$) :: a -> ValueBindingFields b -> ValueBindingFields a # | |||||
Foldable ValueBindingFields # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => ValueBindingFields m -> m # foldMap :: Monoid m => (a -> m) -> ValueBindingFields a -> m # foldMap' :: Monoid m => (a -> m) -> ValueBindingFields a -> m # foldr :: (a -> b -> b) -> b -> ValueBindingFields a -> b # foldr' :: (a -> b -> b) -> b -> ValueBindingFields a -> b # foldl :: (b -> a -> b) -> b -> ValueBindingFields a -> b # foldl' :: (b -> a -> b) -> b -> ValueBindingFields a -> b # foldr1 :: (a -> a -> a) -> ValueBindingFields a -> a # foldl1 :: (a -> a -> a) -> ValueBindingFields a -> a # toList :: ValueBindingFields a -> [a] # null :: ValueBindingFields a -> Bool # length :: ValueBindingFields a -> Int # elem :: Eq a => a -> ValueBindingFields a -> Bool # maximum :: Ord a => ValueBindingFields a -> a # minimum :: Ord a => ValueBindingFields a -> a # sum :: Num a => ValueBindingFields a -> a # product :: Num a => ValueBindingFields a -> a # | |||||
Traversable ValueBindingFields # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> ValueBindingFields a -> f (ValueBindingFields b) # sequenceA :: Applicative f => ValueBindingFields (f a) -> f (ValueBindingFields a) # mapM :: Monad m => (a -> m b) -> ValueBindingFields a -> m (ValueBindingFields b) # sequence :: Monad m => ValueBindingFields (m a) -> m (ValueBindingFields a) # | |||||
Generic (ValueBindingFields a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: ValueBindingFields a -> Rep (ValueBindingFields a) x # to :: Rep (ValueBindingFields a) x -> ValueBindingFields a # | |||||
Show a => Show (ValueBindingFields a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> ValueBindingFields a -> ShowS # show :: ValueBindingFields a -> String # showList :: [ValueBindingFields a] -> ShowS # | |||||
Eq a => Eq (ValueBindingFields a) # | |||||
Defined in Language.PureScript.CST.Types Methods (==) :: ValueBindingFields a -> ValueBindingFields a -> Bool # (/=) :: ValueBindingFields a -> ValueBindingFields a -> Bool # | |||||
Ord a => Ord (ValueBindingFields a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: ValueBindingFields a -> ValueBindingFields a -> Ordering # (<) :: ValueBindingFields a -> ValueBindingFields a -> Bool # (<=) :: ValueBindingFields a -> ValueBindingFields a -> Bool # (>) :: ValueBindingFields a -> ValueBindingFields a -> Bool # (>=) :: ValueBindingFields a -> ValueBindingFields a -> Bool # max :: ValueBindingFields a -> ValueBindingFields a -> ValueBindingFields a # min :: ValueBindingFields a -> ValueBindingFields a -> ValueBindingFields a # | |||||
type Rep (ValueBindingFields a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (ValueBindingFields a) = D1 ('MetaData "ValueBindingFields" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "ValueBindingFields" 'PrefixI 'True) (S1 ('MetaSel ('Just "valName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name Ident)) :*: (S1 ('MetaSel ('Just "valBinders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binder a]) :*: S1 ('MetaSel ('Just "valGuarded") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Guarded a))))) |
Constructors
Unconditional SourceToken (Where a) | |
Guarded (NonEmpty (GuardedExpr a)) |
Instances
Functor Guarded # | |||||
Foldable Guarded # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Guarded m -> m # foldMap :: Monoid m => (a -> m) -> Guarded a -> m # foldMap' :: Monoid m => (a -> m) -> Guarded a -> m # foldr :: (a -> b -> b) -> b -> Guarded a -> b # foldr' :: (a -> b -> b) -> b -> Guarded a -> b # foldl :: (b -> a -> b) -> b -> Guarded a -> b # foldl' :: (b -> a -> b) -> b -> Guarded a -> b # foldr1 :: (a -> a -> a) -> Guarded a -> a # foldl1 :: (a -> a -> a) -> Guarded a -> a # elem :: Eq a => a -> Guarded a -> Bool # maximum :: Ord a => Guarded a -> a # minimum :: Ord a => Guarded a -> a # | |||||
Traversable Guarded # | |||||
Generic (Guarded a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Guarded a) # | |||||
Eq a => Eq (Guarded a) # | |||||
Ord a => Ord (Guarded a) # | |||||
type Rep (Guarded a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Guarded a) = D1 ('MetaData "Guarded" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Unconditional" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Where a))) :+: C1 ('MetaCons "Guarded" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (GuardedExpr a))))) |
data GuardedExpr a #
Constructors
GuardedExpr | |
Fields
|
Instances
Functor GuardedExpr # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> GuardedExpr a -> GuardedExpr b # (<$) :: a -> GuardedExpr b -> GuardedExpr a # | |||||
Foldable GuardedExpr # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => GuardedExpr m -> m # foldMap :: Monoid m => (a -> m) -> GuardedExpr a -> m # foldMap' :: Monoid m => (a -> m) -> GuardedExpr a -> m # foldr :: (a -> b -> b) -> b -> GuardedExpr a -> b # foldr' :: (a -> b -> b) -> b -> GuardedExpr a -> b # foldl :: (b -> a -> b) -> b -> GuardedExpr a -> b # foldl' :: (b -> a -> b) -> b -> GuardedExpr a -> b # foldr1 :: (a -> a -> a) -> GuardedExpr a -> a # foldl1 :: (a -> a -> a) -> GuardedExpr a -> a # toList :: GuardedExpr a -> [a] # null :: GuardedExpr a -> Bool # length :: GuardedExpr a -> Int # elem :: Eq a => a -> GuardedExpr a -> Bool # maximum :: Ord a => GuardedExpr a -> a # minimum :: Ord a => GuardedExpr a -> a # sum :: Num a => GuardedExpr a -> a # product :: Num a => GuardedExpr a -> a # | |||||
Traversable GuardedExpr # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> GuardedExpr a -> f (GuardedExpr b) # sequenceA :: Applicative f => GuardedExpr (f a) -> f (GuardedExpr a) # mapM :: Monad m => (a -> m b) -> GuardedExpr a -> m (GuardedExpr b) # sequence :: Monad m => GuardedExpr (m a) -> m (GuardedExpr a) # | |||||
Generic (GuardedExpr a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: GuardedExpr a -> Rep (GuardedExpr a) x # to :: Rep (GuardedExpr a) x -> GuardedExpr a # | |||||
Show a => Show (GuardedExpr a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> GuardedExpr a -> ShowS # show :: GuardedExpr a -> String # showList :: [GuardedExpr a] -> ShowS # | |||||
Eq a => Eq (GuardedExpr a) # | |||||
Defined in Language.PureScript.CST.Types Methods (==) :: GuardedExpr a -> GuardedExpr a -> Bool # (/=) :: GuardedExpr a -> GuardedExpr a -> Bool # | |||||
Ord a => Ord (GuardedExpr a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: GuardedExpr a -> GuardedExpr a -> Ordering # (<) :: GuardedExpr a -> GuardedExpr a -> Bool # (<=) :: GuardedExpr a -> GuardedExpr a -> Bool # (>) :: GuardedExpr a -> GuardedExpr a -> Bool # (>=) :: GuardedExpr a -> GuardedExpr a -> Bool # max :: GuardedExpr a -> GuardedExpr a -> GuardedExpr a # min :: GuardedExpr a -> GuardedExpr a -> GuardedExpr a # | |||||
type Rep (GuardedExpr a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (GuardedExpr a) = D1 ('MetaData "GuardedExpr" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "GuardedExpr" 'PrefixI 'True) ((S1 ('MetaSel ('Just "grdBar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "grdPatterns") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Separated (PatternGuard a)))) :*: (S1 ('MetaSel ('Just "grdSep") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "grdWhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Where a))))) |
data PatternGuard a #
Constructors
PatternGuard | |
Instances
Functor PatternGuard # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> PatternGuard a -> PatternGuard b # (<$) :: a -> PatternGuard b -> PatternGuard a # | |||||
Foldable PatternGuard # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => PatternGuard m -> m # foldMap :: Monoid m => (a -> m) -> PatternGuard a -> m # foldMap' :: Monoid m => (a -> m) -> PatternGuard a -> m # foldr :: (a -> b -> b) -> b -> PatternGuard a -> b # foldr' :: (a -> b -> b) -> b -> PatternGuard a -> b # foldl :: (b -> a -> b) -> b -> PatternGuard a -> b # foldl' :: (b -> a -> b) -> b -> PatternGuard a -> b # foldr1 :: (a -> a -> a) -> PatternGuard a -> a # foldl1 :: (a -> a -> a) -> PatternGuard a -> a # toList :: PatternGuard a -> [a] # null :: PatternGuard a -> Bool # length :: PatternGuard a -> Int # elem :: Eq a => a -> PatternGuard a -> Bool # maximum :: Ord a => PatternGuard a -> a # minimum :: Ord a => PatternGuard a -> a # sum :: Num a => PatternGuard a -> a # product :: Num a => PatternGuard a -> a # | |||||
Traversable PatternGuard # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> PatternGuard a -> f (PatternGuard b) # sequenceA :: Applicative f => PatternGuard (f a) -> f (PatternGuard a) # mapM :: Monad m => (a -> m b) -> PatternGuard a -> m (PatternGuard b) # sequence :: Monad m => PatternGuard (m a) -> m (PatternGuard a) # | |||||
Generic (PatternGuard a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: PatternGuard a -> Rep (PatternGuard a) x # to :: Rep (PatternGuard a) x -> PatternGuard a # | |||||
Show a => Show (PatternGuard a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> PatternGuard a -> ShowS # show :: PatternGuard a -> String # showList :: [PatternGuard a] -> ShowS # | |||||
Eq a => Eq (PatternGuard a) # | |||||
Defined in Language.PureScript.CST.Types Methods (==) :: PatternGuard a -> PatternGuard a -> Bool # (/=) :: PatternGuard a -> PatternGuard a -> Bool # | |||||
Ord a => Ord (PatternGuard a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: PatternGuard a -> PatternGuard a -> Ordering # (<) :: PatternGuard a -> PatternGuard a -> Bool # (<=) :: PatternGuard a -> PatternGuard a -> Bool # (>) :: PatternGuard a -> PatternGuard a -> Bool # (>=) :: PatternGuard a -> PatternGuard a -> Bool # max :: PatternGuard a -> PatternGuard a -> PatternGuard a # min :: PatternGuard a -> PatternGuard a -> PatternGuard a # | |||||
type Rep (PatternGuard a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (PatternGuard a) = D1 ('MetaData "PatternGuard" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "PatternGuard" 'PrefixI 'True) (S1 ('MetaSel ('Just "patBinder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Binder a, SourceToken))) :*: S1 ('MetaSel ('Just "patExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)))) |
Constructors
ForeignValue (Labeled (Name Ident) (Type a)) | |
ForeignData SourceToken (Labeled (Name (ProperName 'TypeName)) (Type a)) | |
ForeignKind SourceToken (Name (ProperName 'TypeName)) |
Instances
Functor Foreign # | |||||
Foldable Foreign # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Foreign m -> m # foldMap :: Monoid m => (a -> m) -> Foreign a -> m # foldMap' :: Monoid m => (a -> m) -> Foreign a -> m # foldr :: (a -> b -> b) -> b -> Foreign a -> b # foldr' :: (a -> b -> b) -> b -> Foreign a -> b # foldl :: (b -> a -> b) -> b -> Foreign a -> b # foldl' :: (b -> a -> b) -> b -> Foreign a -> b # foldr1 :: (a -> a -> a) -> Foreign a -> a # foldl1 :: (a -> a -> a) -> Foreign a -> a # elem :: Eq a => a -> Foreign a -> Bool # maximum :: Ord a => Foreign a -> a # minimum :: Ord a => Foreign a -> a # | |||||
Traversable Foreign # | |||||
Generic (Foreign a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Foreign a) # | |||||
Eq a => Eq (Foreign a) # | |||||
Ord a => Ord (Foreign a) # | |||||
type Rep (Foreign a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Foreign a) = D1 ('MetaData "Foreign" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "ForeignValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Labeled (Name Ident) (Type a)))) :+: (C1 ('MetaCons "ForeignData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Labeled (Name (ProperName 'TypeName)) (Type a)))) :+: C1 ('MetaCons "ForeignKind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name (ProperName 'TypeName)))))) |
Constructors
Role | |
Fields
|
Instances
Generic Role # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show Role # | |||||
Eq Role # | |||||
Ord Role # | |||||
type Rep Role # | |||||
Defined in Language.PureScript.CST.Types type Rep Role = D1 ('MetaData "Role" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Role" 'PrefixI 'True) (S1 ('MetaSel ('Just "roleTok") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "roleValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Role))) |
Constructors
ExprHole a (Name Ident) | |
ExprSection a SourceToken | |
ExprIdent a (QualifiedName Ident) | |
ExprConstructor a (QualifiedName (ProperName 'ConstructorName)) | |
ExprBoolean a SourceToken Bool | |
ExprChar a SourceToken Char | |
ExprString a SourceToken PSString | |
ExprNumber a SourceToken (Either Integer Double) | |
ExprArray a (Delimited (Expr a)) | |
ExprRecord a (Delimited (RecordLabeled (Expr a))) | |
ExprParens a (Wrapped (Expr a)) | |
ExprTyped a (Expr a) SourceToken (Type a) | |
ExprInfix a (Expr a) (Wrapped (Expr a)) (Expr a) | |
ExprOp a (Expr a) (QualifiedName (OpName 'ValueOpName)) (Expr a) | |
ExprOpName a (QualifiedName (OpName 'ValueOpName)) | |
ExprNegate a SourceToken (Expr a) | |
ExprRecordAccessor a (RecordAccessor a) | |
ExprRecordUpdate a (Expr a) (DelimitedNonEmpty (RecordUpdate a)) | |
ExprApp a (Expr a) (Expr a) | |
ExprVisibleTypeApp a (Expr a) SourceToken (Type a) | |
ExprLambda a (Lambda a) | |
ExprIf a (IfThenElse a) | |
ExprCase a (CaseOf a) | |
ExprLet a (LetIn a) | |
ExprDo a (DoBlock a) | |
ExprAdo a (AdoBlock a) |
Instances
Functor Expr # | |||||
Foldable Expr # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Expr m -> m # foldMap :: Monoid m => (a -> m) -> Expr a -> m # foldMap' :: Monoid m => (a -> m) -> Expr a -> m # foldr :: (a -> b -> b) -> b -> Expr a -> b # foldr' :: (a -> b -> b) -> b -> Expr a -> b # foldl :: (b -> a -> b) -> b -> Expr a -> b # foldl' :: (b -> a -> b) -> b -> Expr a -> b # foldr1 :: (a -> a -> a) -> Expr a -> a # foldl1 :: (a -> a -> a) -> Expr a -> a # elem :: Eq a => a -> Expr a -> Bool # maximum :: Ord a => Expr a -> a # | |||||
Traversable Expr # | |||||
Generic (Expr a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Expr a) # | |||||
Eq a => Eq (Expr a) # | |||||
Ord a => Ord (Expr a) # | |||||
type Rep (Expr a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Expr a) = D1 ('MetaData "Expr" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) ((((C1 ('MetaCons "ExprHole" '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 "ExprSection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken)) :+: C1 ('MetaCons "ExprIdent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName Ident))))) :+: (C1 ('MetaCons "ExprConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName (ProperName 'ConstructorName)))) :+: (C1 ('MetaCons "ExprBoolean" '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 Bool))) :+: C1 ('MetaCons "ExprChar" '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 Char)))))) :+: ((C1 ('MetaCons "ExprString" '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 "ExprNumber" '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 (Either Integer Double)))) :+: C1 ('MetaCons "ExprArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Delimited (Expr a)))))) :+: ((C1 ('MetaCons "ExprRecord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Delimited (RecordLabeled (Expr a))))) :+: C1 ('MetaCons "ExprParens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wrapped (Expr a))))) :+: (C1 ('MetaCons "ExprTyped" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type a)))) :+: C1 ('MetaCons "ExprInfix" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wrapped (Expr a))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)))))))) :+: (((C1 ('MetaCons "ExprOp" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName (OpName 'ValueOpName))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)))) :+: (C1 ('MetaCons "ExprOpName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName (OpName 'ValueOpName)))) :+: C1 ('MetaCons "ExprNegate" '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 (Expr a)))))) :+: (C1 ('MetaCons "ExprRecordAccessor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (RecordAccessor a))) :+: (C1 ('MetaCons "ExprRecordUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DelimitedNonEmpty (RecordUpdate a))))) :+: C1 ('MetaCons "ExprApp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))))))) :+: ((C1 ('MetaCons "ExprVisibleTypeApp" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type a)))) :+: (C1 ('MetaCons "ExprLambda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Lambda a))) :+: C1 ('MetaCons "ExprIf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IfThenElse a))))) :+: ((C1 ('MetaCons "ExprCase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CaseOf a))) :+: C1 ('MetaCons "ExprLet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LetIn a)))) :+: (C1 ('MetaCons "ExprDo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DoBlock a))) :+: C1 ('MetaCons "ExprAdo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AdoBlock a)))))))) |
data RecordLabeled a #
Constructors
RecordPun (Name Ident) | |
RecordField Label SourceToken a |
Instances
Functor RecordLabeled # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> RecordLabeled a -> RecordLabeled b # (<$) :: a -> RecordLabeled b -> RecordLabeled a # | |||||
Foldable RecordLabeled # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => RecordLabeled m -> m # foldMap :: Monoid m => (a -> m) -> RecordLabeled a -> m # foldMap' :: Monoid m => (a -> m) -> RecordLabeled a -> m # foldr :: (a -> b -> b) -> b -> RecordLabeled a -> b # foldr' :: (a -> b -> b) -> b -> RecordLabeled a -> b # foldl :: (b -> a -> b) -> b -> RecordLabeled a -> b # foldl' :: (b -> a -> b) -> b -> RecordLabeled a -> b # foldr1 :: (a -> a -> a) -> RecordLabeled a -> a # foldl1 :: (a -> a -> a) -> RecordLabeled a -> a # toList :: RecordLabeled a -> [a] # null :: RecordLabeled a -> Bool # length :: RecordLabeled a -> Int # elem :: Eq a => a -> RecordLabeled a -> Bool # maximum :: Ord a => RecordLabeled a -> a # minimum :: Ord a => RecordLabeled a -> a # sum :: Num a => RecordLabeled a -> a # product :: Num a => RecordLabeled a -> a # | |||||
Traversable RecordLabeled # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> RecordLabeled a -> f (RecordLabeled b) # sequenceA :: Applicative f => RecordLabeled (f a) -> f (RecordLabeled a) # mapM :: Monad m => (a -> m b) -> RecordLabeled a -> m (RecordLabeled b) # sequence :: Monad m => RecordLabeled (m a) -> m (RecordLabeled a) # | |||||
Generic (RecordLabeled a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: RecordLabeled a -> Rep (RecordLabeled a) x # to :: Rep (RecordLabeled a) x -> RecordLabeled a # | |||||
Show a => Show (RecordLabeled a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> RecordLabeled a -> ShowS # show :: RecordLabeled a -> String # showList :: [RecordLabeled a] -> ShowS # | |||||
Eq a => Eq (RecordLabeled a) # | |||||
Defined in Language.PureScript.CST.Types Methods (==) :: RecordLabeled a -> RecordLabeled a -> Bool # (/=) :: RecordLabeled a -> RecordLabeled a -> Bool # | |||||
Ord a => Ord (RecordLabeled a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: RecordLabeled a -> RecordLabeled a -> Ordering # (<) :: RecordLabeled a -> RecordLabeled a -> Bool # (<=) :: RecordLabeled a -> RecordLabeled a -> Bool # (>) :: RecordLabeled a -> RecordLabeled a -> Bool # (>=) :: RecordLabeled a -> RecordLabeled a -> Bool # max :: RecordLabeled a -> RecordLabeled a -> RecordLabeled a # min :: RecordLabeled a -> RecordLabeled a -> RecordLabeled a # | |||||
type Rep (RecordLabeled a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (RecordLabeled a) = D1 ('MetaData "RecordLabeled" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "RecordPun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name Ident))) :+: C1 ('MetaCons "RecordField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) |
data RecordUpdate a #
Constructors
RecordUpdateLeaf Label SourceToken (Expr a) | |
RecordUpdateBranch Label (DelimitedNonEmpty (RecordUpdate a)) |
Instances
Functor RecordUpdate # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> RecordUpdate a -> RecordUpdate b # (<$) :: a -> RecordUpdate b -> RecordUpdate a # | |||||
Foldable RecordUpdate # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => RecordUpdate m -> m # foldMap :: Monoid m => (a -> m) -> RecordUpdate a -> m # foldMap' :: Monoid m => (a -> m) -> RecordUpdate a -> m # foldr :: (a -> b -> b) -> b -> RecordUpdate a -> b # foldr' :: (a -> b -> b) -> b -> RecordUpdate a -> b # foldl :: (b -> a -> b) -> b -> RecordUpdate a -> b # foldl' :: (b -> a -> b) -> b -> RecordUpdate a -> b # foldr1 :: (a -> a -> a) -> RecordUpdate a -> a # foldl1 :: (a -> a -> a) -> RecordUpdate a -> a # toList :: RecordUpdate a -> [a] # null :: RecordUpdate a -> Bool # length :: RecordUpdate a -> Int # elem :: Eq a => a -> RecordUpdate a -> Bool # maximum :: Ord a => RecordUpdate a -> a # minimum :: Ord a => RecordUpdate a -> a # sum :: Num a => RecordUpdate a -> a # product :: Num a => RecordUpdate a -> a # | |||||
Traversable RecordUpdate # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> RecordUpdate a -> f (RecordUpdate b) # sequenceA :: Applicative f => RecordUpdate (f a) -> f (RecordUpdate a) # mapM :: Monad m => (a -> m b) -> RecordUpdate a -> m (RecordUpdate b) # sequence :: Monad m => RecordUpdate (m a) -> m (RecordUpdate a) # | |||||
Generic (RecordUpdate a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: RecordUpdate a -> Rep (RecordUpdate a) x # to :: Rep (RecordUpdate a) x -> RecordUpdate a # | |||||
Show a => Show (RecordUpdate a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> RecordUpdate a -> ShowS # show :: RecordUpdate a -> String # showList :: [RecordUpdate a] -> ShowS # | |||||
Eq a => Eq (RecordUpdate a) # | |||||
Defined in Language.PureScript.CST.Types Methods (==) :: RecordUpdate a -> RecordUpdate a -> Bool # (/=) :: RecordUpdate a -> RecordUpdate a -> Bool # | |||||
Ord a => Ord (RecordUpdate a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: RecordUpdate a -> RecordUpdate a -> Ordering # (<) :: RecordUpdate a -> RecordUpdate a -> Bool # (<=) :: RecordUpdate a -> RecordUpdate a -> Bool # (>) :: RecordUpdate a -> RecordUpdate a -> Bool # (>=) :: RecordUpdate a -> RecordUpdate a -> Bool # max :: RecordUpdate a -> RecordUpdate a -> RecordUpdate a # min :: RecordUpdate a -> RecordUpdate a -> RecordUpdate a # | |||||
type Rep (RecordUpdate a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (RecordUpdate a) = D1 ('MetaData "RecordUpdate" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "RecordUpdateLeaf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)))) :+: C1 ('MetaCons "RecordUpdateBranch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Label) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (DelimitedNonEmpty (RecordUpdate a))))) |
data RecordAccessor a #
Constructors
RecordAccessor | |
Instances
Functor RecordAccessor # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> RecordAccessor a -> RecordAccessor b # (<$) :: a -> RecordAccessor b -> RecordAccessor a # | |||||
Foldable RecordAccessor # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => RecordAccessor m -> m # foldMap :: Monoid m => (a -> m) -> RecordAccessor a -> m # foldMap' :: Monoid m => (a -> m) -> RecordAccessor a -> m # foldr :: (a -> b -> b) -> b -> RecordAccessor a -> b # foldr' :: (a -> b -> b) -> b -> RecordAccessor a -> b # foldl :: (b -> a -> b) -> b -> RecordAccessor a -> b # foldl' :: (b -> a -> b) -> b -> RecordAccessor a -> b # foldr1 :: (a -> a -> a) -> RecordAccessor a -> a # foldl1 :: (a -> a -> a) -> RecordAccessor a -> a # toList :: RecordAccessor a -> [a] # null :: RecordAccessor a -> Bool # length :: RecordAccessor a -> Int # elem :: Eq a => a -> RecordAccessor a -> Bool # maximum :: Ord a => RecordAccessor a -> a # minimum :: Ord a => RecordAccessor a -> a # sum :: Num a => RecordAccessor a -> a # product :: Num a => RecordAccessor a -> a # | |||||
Traversable RecordAccessor # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> RecordAccessor a -> f (RecordAccessor b) # sequenceA :: Applicative f => RecordAccessor (f a) -> f (RecordAccessor a) # mapM :: Monad m => (a -> m b) -> RecordAccessor a -> m (RecordAccessor b) # sequence :: Monad m => RecordAccessor (m a) -> m (RecordAccessor a) # | |||||
Generic (RecordAccessor a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: RecordAccessor a -> Rep (RecordAccessor a) x # to :: Rep (RecordAccessor a) x -> RecordAccessor a # | |||||
Show a => Show (RecordAccessor a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> RecordAccessor a -> ShowS # show :: RecordAccessor a -> String # showList :: [RecordAccessor a] -> ShowS # | |||||
Eq a => Eq (RecordAccessor a) # | |||||
Defined in Language.PureScript.CST.Types Methods (==) :: RecordAccessor a -> RecordAccessor a -> Bool # (/=) :: RecordAccessor a -> RecordAccessor a -> Bool # | |||||
Ord a => Ord (RecordAccessor a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: RecordAccessor a -> RecordAccessor a -> Ordering # (<) :: RecordAccessor a -> RecordAccessor a -> Bool # (<=) :: RecordAccessor a -> RecordAccessor a -> Bool # (>) :: RecordAccessor a -> RecordAccessor a -> Bool # (>=) :: RecordAccessor a -> RecordAccessor a -> Bool # max :: RecordAccessor a -> RecordAccessor a -> RecordAccessor a # min :: RecordAccessor a -> RecordAccessor a -> RecordAccessor a # | |||||
type Rep (RecordAccessor a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (RecordAccessor a) = D1 ('MetaData "RecordAccessor" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "RecordAccessor" 'PrefixI 'True) (S1 ('MetaSel ('Just "recExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)) :*: (S1 ('MetaSel ('Just "recDot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "recPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Separated Label))))) |
Constructors
Lambda | |
Fields
|
Instances
Functor Lambda # | |||||
Foldable Lambda # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Lambda m -> m # foldMap :: Monoid m => (a -> m) -> Lambda a -> m # foldMap' :: Monoid m => (a -> m) -> Lambda a -> m # foldr :: (a -> b -> b) -> b -> Lambda a -> b # foldr' :: (a -> b -> b) -> b -> Lambda a -> b # foldl :: (b -> a -> b) -> b -> Lambda a -> b # foldl' :: (b -> a -> b) -> b -> Lambda a -> b # foldr1 :: (a -> a -> a) -> Lambda a -> a # foldl1 :: (a -> a -> a) -> Lambda a -> a # elem :: Eq a => a -> Lambda a -> Bool # maximum :: Ord a => Lambda a -> a # minimum :: Ord a => Lambda a -> a # | |||||
Traversable Lambda # | |||||
Generic (Lambda a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Lambda a) # | |||||
Eq a => Eq (Lambda a) # | |||||
Ord a => Ord (Lambda a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (Lambda a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Lambda a) = D1 ('MetaData "Lambda" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Lambda" 'PrefixI 'True) ((S1 ('MetaSel ('Just "lmbSymbol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "lmbBinders") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Binder a)))) :*: (S1 ('MetaSel ('Just "lmbArr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "lmbBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))))) |
data IfThenElse a #
Constructors
IfThenElse | |
Fields
|
Instances
Functor IfThenElse # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> IfThenElse a -> IfThenElse b # (<$) :: a -> IfThenElse b -> IfThenElse a # | |||||
Foldable IfThenElse # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => IfThenElse m -> m # foldMap :: Monoid m => (a -> m) -> IfThenElse a -> m # foldMap' :: Monoid m => (a -> m) -> IfThenElse a -> m # foldr :: (a -> b -> b) -> b -> IfThenElse a -> b # foldr' :: (a -> b -> b) -> b -> IfThenElse a -> b # foldl :: (b -> a -> b) -> b -> IfThenElse a -> b # foldl' :: (b -> a -> b) -> b -> IfThenElse a -> b # foldr1 :: (a -> a -> a) -> IfThenElse a -> a # foldl1 :: (a -> a -> a) -> IfThenElse a -> a # toList :: IfThenElse a -> [a] # null :: IfThenElse a -> Bool # length :: IfThenElse a -> Int # elem :: Eq a => a -> IfThenElse a -> Bool # maximum :: Ord a => IfThenElse a -> a # minimum :: Ord a => IfThenElse a -> a # sum :: Num a => IfThenElse a -> a # product :: Num a => IfThenElse a -> a # | |||||
Traversable IfThenElse # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> IfThenElse a -> f (IfThenElse b) # sequenceA :: Applicative f => IfThenElse (f a) -> f (IfThenElse a) # mapM :: Monad m => (a -> m b) -> IfThenElse a -> m (IfThenElse b) # sequence :: Monad m => IfThenElse (m a) -> m (IfThenElse a) # | |||||
Generic (IfThenElse a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (IfThenElse a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> IfThenElse a -> ShowS # show :: IfThenElse a -> String # showList :: [IfThenElse a] -> ShowS # | |||||
Eq a => Eq (IfThenElse a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
Ord a => Ord (IfThenElse a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: IfThenElse a -> IfThenElse a -> Ordering # (<) :: IfThenElse a -> IfThenElse a -> Bool # (<=) :: IfThenElse a -> IfThenElse a -> Bool # (>) :: IfThenElse a -> IfThenElse a -> Bool # (>=) :: IfThenElse a -> IfThenElse a -> Bool # max :: IfThenElse a -> IfThenElse a -> IfThenElse a # min :: IfThenElse a -> IfThenElse a -> IfThenElse a # | |||||
type Rep (IfThenElse a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (IfThenElse a) = D1 ('MetaData "IfThenElse" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "IfThenElse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "iteIf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: (S1 ('MetaSel ('Just "iteCond") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)) :*: S1 ('MetaSel ('Just "iteThen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken))) :*: (S1 ('MetaSel ('Just "iteTrue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)) :*: (S1 ('MetaSel ('Just "iteElse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "iteFalse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)))))) |
Constructors
CaseOf | |
Fields
|
Instances
Functor CaseOf # | |||||
Foldable CaseOf # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => CaseOf m -> m # foldMap :: Monoid m => (a -> m) -> CaseOf a -> m # foldMap' :: Monoid m => (a -> m) -> CaseOf a -> m # foldr :: (a -> b -> b) -> b -> CaseOf a -> b # foldr' :: (a -> b -> b) -> b -> CaseOf a -> b # foldl :: (b -> a -> b) -> b -> CaseOf a -> b # foldl' :: (b -> a -> b) -> b -> CaseOf a -> b # foldr1 :: (a -> a -> a) -> CaseOf a -> a # foldl1 :: (a -> a -> a) -> CaseOf a -> a # elem :: Eq a => a -> CaseOf a -> Bool # maximum :: Ord a => CaseOf a -> a # minimum :: Ord a => CaseOf a -> a # | |||||
Traversable CaseOf # | |||||
Generic (CaseOf a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (CaseOf a) # | |||||
Eq a => Eq (CaseOf a) # | |||||
Ord a => Ord (CaseOf a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (CaseOf a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (CaseOf a) = D1 ('MetaData "CaseOf" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "CaseOf" 'PrefixI 'True) ((S1 ('MetaSel ('Just "caseKeyword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "caseHead") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Separated (Expr a)))) :*: (S1 ('MetaSel ('Just "caseOf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "caseBranches") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (Separated (Binder a), Guarded a)))))) |
Constructors
LetIn | |
Fields
|
Instances
Functor LetIn # | |||||
Foldable LetIn # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => LetIn m -> m # foldMap :: Monoid m => (a -> m) -> LetIn a -> m # foldMap' :: Monoid m => (a -> m) -> LetIn a -> m # foldr :: (a -> b -> b) -> b -> LetIn a -> b # foldr' :: (a -> b -> b) -> b -> LetIn a -> b # foldl :: (b -> a -> b) -> b -> LetIn a -> b # foldl' :: (b -> a -> b) -> b -> LetIn a -> b # foldr1 :: (a -> a -> a) -> LetIn a -> a # foldl1 :: (a -> a -> a) -> LetIn a -> a # elem :: Eq a => a -> LetIn a -> Bool # maximum :: Ord a => LetIn a -> a # minimum :: Ord a => LetIn a -> a # | |||||
Traversable LetIn # | |||||
Generic (LetIn a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (LetIn a) # | |||||
Eq a => Eq (LetIn a) # | |||||
Ord a => Ord (LetIn a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (LetIn a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (LetIn a) = D1 ('MetaData "LetIn" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "LetIn" 'PrefixI 'True) ((S1 ('MetaSel ('Just "letKeyword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "letBindings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (LetBinding a)))) :*: (S1 ('MetaSel ('Just "letIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "letBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))))) |
Constructors
Where | |
Fields
|
Instances
Functor Where # | |||||
Foldable Where # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Where m -> m # foldMap :: Monoid m => (a -> m) -> Where a -> m # foldMap' :: Monoid m => (a -> m) -> Where a -> m # foldr :: (a -> b -> b) -> b -> Where a -> b # foldr' :: (a -> b -> b) -> b -> Where a -> b # foldl :: (b -> a -> b) -> b -> Where a -> b # foldl' :: (b -> a -> b) -> b -> Where a -> b # foldr1 :: (a -> a -> a) -> Where a -> a # foldl1 :: (a -> a -> a) -> Where a -> a # elem :: Eq a => a -> Where a -> Bool # maximum :: Ord a => Where a -> a # minimum :: Ord a => Where a -> a # | |||||
Traversable Where # | |||||
Generic (Where a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Where a) # | |||||
Eq a => Eq (Where a) # | |||||
Ord a => Ord (Where a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (Where a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Where a) = D1 ('MetaData "Where" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Where" 'PrefixI 'True) (S1 ('MetaSel ('Just "whereExpr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)) :*: S1 ('MetaSel ('Just "whereBindings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (SourceToken, NonEmpty (LetBinding a)))))) |
data LetBinding a #
Constructors
LetBindingSignature a (Labeled (Name Ident) (Type a)) | |
LetBindingName a (ValueBindingFields a) | |
LetBindingPattern a (Binder a) SourceToken (Where a) |
Instances
Functor LetBinding # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> LetBinding a -> LetBinding b # (<$) :: a -> LetBinding b -> LetBinding a # | |||||
Foldable LetBinding # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => LetBinding m -> m # foldMap :: Monoid m => (a -> m) -> LetBinding a -> m # foldMap' :: Monoid m => (a -> m) -> LetBinding a -> m # foldr :: (a -> b -> b) -> b -> LetBinding a -> b # foldr' :: (a -> b -> b) -> b -> LetBinding a -> b # foldl :: (b -> a -> b) -> b -> LetBinding a -> b # foldl' :: (b -> a -> b) -> b -> LetBinding a -> b # foldr1 :: (a -> a -> a) -> LetBinding a -> a # foldl1 :: (a -> a -> a) -> LetBinding a -> a # toList :: LetBinding a -> [a] # null :: LetBinding a -> Bool # length :: LetBinding a -> Int # elem :: Eq a => a -> LetBinding a -> Bool # maximum :: Ord a => LetBinding a -> a # minimum :: Ord a => LetBinding a -> a # sum :: Num a => LetBinding a -> a # product :: Num a => LetBinding a -> a # | |||||
Traversable LetBinding # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> LetBinding a -> f (LetBinding b) # sequenceA :: Applicative f => LetBinding (f a) -> f (LetBinding a) # mapM :: Monad m => (a -> m b) -> LetBinding a -> m (LetBinding b) # sequence :: Monad m => LetBinding (m a) -> m (LetBinding a) # | |||||
Generic (LetBinding a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (LetBinding a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> LetBinding a -> ShowS # show :: LetBinding a -> String # showList :: [LetBinding a] -> ShowS # | |||||
Eq a => Eq (LetBinding a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
Ord a => Ord (LetBinding a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: LetBinding a -> LetBinding a -> Ordering # (<) :: LetBinding a -> LetBinding a -> Bool # (<=) :: LetBinding a -> LetBinding a -> Bool # (>) :: LetBinding a -> LetBinding a -> Bool # (>=) :: LetBinding a -> LetBinding a -> Bool # max :: LetBinding a -> LetBinding a -> LetBinding a # min :: LetBinding a -> LetBinding a -> LetBinding a # | |||||
type Rep (LetBinding a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (LetBinding a) = D1 ('MetaData "LetBinding" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "LetBindingSignature" '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 "LetBindingName" '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 "LetBindingPattern" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binder a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Where a)))))) |
Constructors
DoBlock | |
Fields
|
Instances
Functor DoBlock # | |||||
Foldable DoBlock # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => DoBlock m -> m # foldMap :: Monoid m => (a -> m) -> DoBlock a -> m # foldMap' :: Monoid m => (a -> m) -> DoBlock a -> m # foldr :: (a -> b -> b) -> b -> DoBlock a -> b # foldr' :: (a -> b -> b) -> b -> DoBlock a -> b # foldl :: (b -> a -> b) -> b -> DoBlock a -> b # foldl' :: (b -> a -> b) -> b -> DoBlock a -> b # foldr1 :: (a -> a -> a) -> DoBlock a -> a # foldl1 :: (a -> a -> a) -> DoBlock a -> a # elem :: Eq a => a -> DoBlock a -> Bool # maximum :: Ord a => DoBlock a -> a # minimum :: Ord a => DoBlock a -> a # | |||||
Traversable DoBlock # | |||||
Generic (DoBlock a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (DoBlock a) # | |||||
Eq a => Eq (DoBlock a) # | |||||
Ord a => Ord (DoBlock a) # | |||||
type Rep (DoBlock a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (DoBlock a) = D1 ('MetaData "DoBlock" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "DoBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "doKeyword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "doStatements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (DoStatement a))))) |
data DoStatement a #
Constructors
DoLet SourceToken (NonEmpty (LetBinding a)) | |
DoDiscard (Expr a) | |
DoBind (Binder a) SourceToken (Expr a) |
Instances
Functor DoStatement # | |||||
Defined in Language.PureScript.CST.Types Methods fmap :: (a -> b) -> DoStatement a -> DoStatement b # (<$) :: a -> DoStatement b -> DoStatement a # | |||||
Foldable DoStatement # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => DoStatement m -> m # foldMap :: Monoid m => (a -> m) -> DoStatement a -> m # foldMap' :: Monoid m => (a -> m) -> DoStatement a -> m # foldr :: (a -> b -> b) -> b -> DoStatement a -> b # foldr' :: (a -> b -> b) -> b -> DoStatement a -> b # foldl :: (b -> a -> b) -> b -> DoStatement a -> b # foldl' :: (b -> a -> b) -> b -> DoStatement a -> b # foldr1 :: (a -> a -> a) -> DoStatement a -> a # foldl1 :: (a -> a -> a) -> DoStatement a -> a # toList :: DoStatement a -> [a] # null :: DoStatement a -> Bool # length :: DoStatement a -> Int # elem :: Eq a => a -> DoStatement a -> Bool # maximum :: Ord a => DoStatement a -> a # minimum :: Ord a => DoStatement a -> a # sum :: Num a => DoStatement a -> a # product :: Num a => DoStatement a -> a # | |||||
Traversable DoStatement # | |||||
Defined in Language.PureScript.CST.Types Methods traverse :: Applicative f => (a -> f b) -> DoStatement a -> f (DoStatement b) # sequenceA :: Applicative f => DoStatement (f a) -> f (DoStatement a) # mapM :: Monad m => (a -> m b) -> DoStatement a -> m (DoStatement b) # sequence :: Monad m => DoStatement (m a) -> m (DoStatement a) # | |||||
Generic (DoStatement a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
Methods from :: DoStatement a -> Rep (DoStatement a) x # to :: Rep (DoStatement a) x -> DoStatement a # | |||||
Show a => Show (DoStatement a) # | |||||
Defined in Language.PureScript.CST.Types Methods showsPrec :: Int -> DoStatement a -> ShowS # show :: DoStatement a -> String # showList :: [DoStatement a] -> ShowS # | |||||
Eq a => Eq (DoStatement a) # | |||||
Defined in Language.PureScript.CST.Types Methods (==) :: DoStatement a -> DoStatement a -> Bool # (/=) :: DoStatement a -> DoStatement a -> Bool # | |||||
Ord a => Ord (DoStatement a) # | |||||
Defined in Language.PureScript.CST.Types Methods compare :: DoStatement a -> DoStatement a -> Ordering # (<) :: DoStatement a -> DoStatement a -> Bool # (<=) :: DoStatement a -> DoStatement a -> Bool # (>) :: DoStatement a -> DoStatement a -> Bool # (>=) :: DoStatement a -> DoStatement a -> Bool # max :: DoStatement a -> DoStatement a -> DoStatement a # min :: DoStatement a -> DoStatement a -> DoStatement a # | |||||
type Rep (DoStatement a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (DoStatement a) = D1 ('MetaData "DoStatement" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "DoLet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (LetBinding a)))) :+: (C1 ('MetaCons "DoDiscard" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))) :+: C1 ('MetaCons "DoBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binder a)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a)))))) |
Constructors
AdoBlock | |
Fields
|
Instances
Functor AdoBlock # | |||||
Foldable AdoBlock # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => AdoBlock m -> m # foldMap :: Monoid m => (a -> m) -> AdoBlock a -> m # foldMap' :: Monoid m => (a -> m) -> AdoBlock a -> m # foldr :: (a -> b -> b) -> b -> AdoBlock a -> b # foldr' :: (a -> b -> b) -> b -> AdoBlock a -> b # foldl :: (b -> a -> b) -> b -> AdoBlock a -> b # foldl' :: (b -> a -> b) -> b -> AdoBlock a -> b # foldr1 :: (a -> a -> a) -> AdoBlock a -> a # foldl1 :: (a -> a -> a) -> AdoBlock a -> a # elem :: Eq a => a -> AdoBlock a -> Bool # maximum :: Ord a => AdoBlock a -> a # minimum :: Ord a => AdoBlock a -> a # | |||||
Traversable AdoBlock # | |||||
Defined in Language.PureScript.CST.Types | |||||
Generic (AdoBlock a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (AdoBlock a) # | |||||
Eq a => Eq (AdoBlock a) # | |||||
Ord a => Ord (AdoBlock a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (AdoBlock a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (AdoBlock a) = D1 ('MetaData "AdoBlock" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "AdoBlock" 'PrefixI 'True) ((S1 ('MetaSel ('Just "adoKeyword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "adoStatements") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DoStatement a])) :*: (S1 ('MetaSel ('Just "adoIn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Just "adoResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr a))))) |
Constructors
BinderWildcard a SourceToken | |
BinderVar a (Name Ident) | |
BinderNamed a (Name Ident) SourceToken (Binder a) | |
BinderConstructor a (QualifiedName (ProperName 'ConstructorName)) [Binder a] | |
BinderBoolean a SourceToken Bool | |
BinderChar a SourceToken Char | |
BinderString a SourceToken PSString | |
BinderNumber a (Maybe SourceToken) SourceToken (Either Integer Double) | |
BinderArray a (Delimited (Binder a)) | |
BinderRecord a (Delimited (RecordLabeled (Binder a))) | |
BinderParens a (Wrapped (Binder a)) | |
BinderTyped a (Binder a) SourceToken (Type a) | |
BinderOp a (Binder a) (QualifiedName (OpName 'ValueOpName)) (Binder a) |
Instances
Functor Binder # | |||||
Foldable Binder # | |||||
Defined in Language.PureScript.CST.Types Methods fold :: Monoid m => Binder m -> m # foldMap :: Monoid m => (a -> m) -> Binder a -> m # foldMap' :: Monoid m => (a -> m) -> Binder a -> m # foldr :: (a -> b -> b) -> b -> Binder a -> b # foldr' :: (a -> b -> b) -> b -> Binder a -> b # foldl :: (b -> a -> b) -> b -> Binder a -> b # foldl' :: (b -> a -> b) -> b -> Binder a -> b # foldr1 :: (a -> a -> a) -> Binder a -> a # foldl1 :: (a -> a -> a) -> Binder a -> a # elem :: Eq a => a -> Binder a -> Bool # maximum :: Ord a => Binder a -> a # minimum :: Ord a => Binder a -> a # | |||||
Traversable Binder # | |||||
Generic (Binder a) # | |||||
Defined in Language.PureScript.CST.Types Associated Types
| |||||
Show a => Show (Binder a) # | |||||
Eq a => Eq (Binder a) # | |||||
Ord a => Ord (Binder a) # | |||||
Defined in Language.PureScript.CST.Types | |||||
type Rep (Binder a) # | |||||
Defined in Language.PureScript.CST.Types type Rep (Binder a) = D1 ('MetaData "Binder" "Language.PureScript.CST.Types" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (((C1 ('MetaCons "BinderWildcard" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken)) :+: (C1 ('MetaCons "BinderVar" '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 "BinderNamed" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name Ident))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binder a)))))) :+: (C1 ('MetaCons "BinderConstructor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName (ProperName 'ConstructorName))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binder a]))) :+: (C1 ('MetaCons "BinderBoolean" '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 Bool))) :+: C1 ('MetaCons "BinderChar" '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 Char)))))) :+: ((C1 ('MetaCons "BinderString" '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 "BinderNumber" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SourceToken))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Integer Double)))) :+: C1 ('MetaCons "BinderArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Delimited (Binder a)))))) :+: ((C1 ('MetaCons "BinderRecord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Delimited (RecordLabeled (Binder a))))) :+: C1 ('MetaCons "BinderParens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Wrapped (Binder a))))) :+: (C1 ('MetaCons "BinderTyped" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binder a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceToken) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Type a)))) :+: C1 ('MetaCons "BinderOp" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binder a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (QualifiedName (OpName 'ValueOpName))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binder a)))))))) |