| 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)))))))) | |||||