Tidy.Codegen.Class

newtype ErrorPrefix

Constructors

• ErrorPrefix String

class ToNonEmptyArray :: (Type -> Type) -> Constraintclass ToNonEmptyArray f  where

Members

• toNonEmptyArray :: forall a. ErrorPrefix -> f a -> NonEmptyArray a

Instances

• (Partial) => ToNonEmptyArray Array
• ToNonEmptyArray NonEmptyArray

toTokenFromString :: forall a. Partial => FromToken a => ErrorPrefix -> String -> Tuple Token a

class ToToken a b  where

Members

• toToken :: a -> Tuple Token b

Instances

• (Partial) => ToToken String Ident
• ToToken (Name Ident) Ident
• ToToken Ident Ident
• (Partial) => ToToken String Proper
• ToToken (Name Proper) Proper
• ToToken Proper Proper
• (Partial) => ToToken String Operator
• ToToken (Name Operator) Operator
• ToToken Operator Operator
• (Partial) => ToToken String SymbolName
• ToToken (Name SymbolName) SymbolName
• ToToken SymbolName SymbolName
• ToToken SymbolName Operator
• (Partial) => ToToken String ModuleName
• ToToken (Name ModuleName) ModuleName
• ToToken ModuleName ModuleName
• ToToken String Label
• ToToken (Name Label) Label
• ToToken Label Label
• ToToken Int IntValue
• ToToken Int Int
• ToToken Number Number
• ToToken String String
• ToToken Boolean Boolean
• ToToken Fixity Fixity
• ToToken Role Role
• (Partial) => ToToken String (Qualified Ident)
• ToToken (Name Ident) (Qualified Ident)
• ToToken (Qualified Ident) (Qualified Ident)
• (Partial) => ToToken String (Qualified Proper)
• ToToken (Name Proper) (Qualified Proper)
• ToToken (Qualified Proper) (Qualified Proper)
• (Partial) => ToToken String (Qualified Operator)
• ToToken (Name Operator) (Qualified Operator)
• ToToken (Qualified Operator) (Qualified Operator)
• (Partial) => ToToken String (Qualified SymbolName)
• ToToken (Name SymbolName) (Qualified SymbolName)
• ToToken (Qualified SymbolName) (Qualified SymbolName)
• ToToken (QualifiedName a) (Qualified a)

class ToName a b  where

Members

• toName :: a -> Name b

Instances

• (Partial) => ToName String Ident
• ToName Ident Ident
• ToName (Name Ident) Ident
• (Partial) => ToName String Proper
• ToName Proper Proper
• ToName (Name Proper) Proper
• (Partial) => ToName String Operator
• ToName Operator Operator
• ToName (Name Operator) Operator
• (Partial) => ToName String SymbolName
• ToName SymbolName SymbolName
• ToName Operator SymbolName
• ToName (Name Operator) SymbolName
• ToName String Label
• ToName Label Label
• (Partial) => ToName String ModuleName
• ToName ModuleName ModuleName
• ToName (QualifiedName a) a

defaultToName :: forall a b. ToToken a b => a -> Name b

class FromToken b  where

Members

• fromToken :: Token -> Maybe b

Instances

• FromToken Ident
• FromToken (Qualified Ident)
• FromToken Proper
• FromToken (Qualified Proper)
• FromToken Operator
• FromToken (Qualified Operator)
• FromToken SymbolName
• FromToken (Qualified SymbolName)
• FromToken ModuleName
• FromToken Label
• FromToken IntValue
• FromToken Number
• FromToken Boolean
• FromToken Fixity
• FromToken Role

toQualified :: forall a. Partial => FromToken (Qualified a) => String -> Qualified a

class ToQualifiedName a b  where

Members

• toQualifiedName :: a -> QualifiedName b

Instances

• (Partial, FromToken (Qualified a)) => ToQualifiedName String a
• (ToToken a b) => ToQualifiedName (Qualified a) b
• ToQualifiedName Ident Ident
• ToQualifiedName Proper Proper
• ToQualifiedName Operator Operator
• ToQualifiedName SymbolName Operator
• ToQualifiedName (Name a) a
• ToQualifiedName (QualifiedName SymbolName) Operator
• ToQualifiedName (QualifiedName Operator) SymbolName
• ToQualifiedName (QualifiedName a) a

defaultToQualifiedName :: forall a b. ToToken a b => Qualified a -> QualifiedName b

class ToModuleName a  where

Members

• toModuleName :: a -> ModuleName

Instances

• (Partial) => ToModuleName String
• ToModuleName ModuleName

class ToRecordLabeled a b  where

Members

• toRecordLabeled :: a -> RecordLabeled b

Instances

• (Partial) => ToRecordLabeled String b
• ToRecordLabeled Ident b
• ToRecordLabeled (Name Ident) b
• (ToName a Label, TypeEquals b c) => ToRecordLabeled (Tuple a b) c
• (TypeEquals a b) => ToRecordLabeled (RecordLabeled a) b

class ToWhere a e | a -> e where

Members

• toWhere :: a -> Where e

Instances

• ToWhere (Expr e) e
• ToWhere (Where e) e

class ToGuarded a e | a -> e where

Members

• toGuarded :: SourceToken -> a -> Guarded e

Instances

• ToGuarded (Expr e) e
• ToGuarded (Where e) e
• ToGuarded (GuardedBranch e) e
• (TypeEquals a (GuardedBranch e)) => ToGuarded (NonEmptyArray a) e
• (Partial, TypeEquals a (GuardedBranch e)) => ToGuarded (Array a) e

class ToFixityName a  where

Members

• toFixityName :: a -> QualifiedName (Either Ident Proper)

Instances

• (Partial) => ToFixityName String
• ToFixityName Ident
• ToFixityName Proper

type LeadingComments :: Row Type -> Row Typetype LeadingComments r = (leadingComments :: Array (Comment LineFeed) | r)

type TrailingComments :: Type -> Row Type -> Row Typetype TrailingComments trl r = (trailingComments :: Array (Comment trl) | r)

class OverLeadingComments a  where

Members

• overLeadingComments :: (Array (Comment LineFeed) -> Array (Comment LineFeed)) -> a -> a

Instances

• OverLeadingComments Void
• (TypeEquals r (LeadingComments r')) => OverLeadingComments (Record r)
• OverLeadingComments (ModuleHeader e)
• OverLeadingComments (Module e)
• OverLeadingComments (ImportDecl e)
• (OverLeadingComments e) => OverLeadingComments (Declaration e)
• OverLeadingComments (Instance e)
• (OverLeadingComments e) => OverLeadingComments (Type e)
• (OverLeadingComments e) => OverLeadingComments (Expr e)
• (OverLeadingComments e) => OverLeadingComments (Binder e)
• OverLeadingComments (Name a)
• OverLeadingComments (QualifiedName a)
• (OverLeadingComments a) => OverLeadingComments (Labeled a b)
• (OverLeadingComments a) => OverLeadingComments (Separated a)
• OverLeadingComments (Wrapped a)
• (OverLeadingComments a) => OverLeadingComments (Tuple a b)

class OverTrailingComments a trl | a -> trl where

Members

• overTrailingComments :: (Array (Comment trl) -> Array (Comment trl)) -> a -> a

Instances

• OverTrailingComments Void LineFeed
• (TypeEquals r (TrailingComments trl r')) => OverTrailingComments (Record r) trl
• OverTrailingComments (ModuleBody e) LineFeed
• OverTrailingComments (Module e) LineFeed