Hoogle Search
Within LTS Haskell 24.18 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Agda Agda.TypeChecking.Rules.LHS No documentation available.
getVarType :: Int -> UnifyState -> Dom TypeAgda Agda.TypeChecking.Rules.LHS.Unify.Types Get the type of the i'th variable in the given state
getVarTypeUnraised :: Int -> UnifyState -> Dom TypeAgda Agda.TypeChecking.Rules.LHS.Unify.Types No documentation available.
expandEnvironmentVariables :: String -> IO StringAgda Agda.Utils.Environment No documentation available.
-
BNFC BNFC.Backend.Common.NamedVariables Converts a list of categories into their types to be used as instance variables. If a category appears only once, it is given the number 0, if it appears more than once, its occurrences are numbered from 1. ex:
>>> getVars [Cat "A", Cat "B", Cat "A"] [("A",1),("B",0),("A",2)] catvars :: [String] -> [Cat] -> [Doc]BNFC BNFC.Backend.Haskell.Utils Gives a list of variables usable for pattern matching. Example: Given the rule Aba. S ::= A B A ; with the generated data type data S = Aba A B A from the list of categories on the RHS of the rule [A,B,A], we generate the list [a1,b,a2] to be used in a pattern matching like case s of Aba a1 b a2 -> ... ...
>>> catvars [] [Cat "A", Cat "B", Cat "A"] [a1,b,a2]
It should avoid reserved words: >>> catvars ["foo"] [Cat Foo, Cat IF, Cat Case, Cat Type, Cat If] [foo_,if_1,case_,type_,if_2] It uses a suffix -s to mark lists: >>> catvars [] [Cat A, ListCat (Cat A), ListCat (ListCat (Cat A))] [a,as_,ass]inspectListVars :: Asset a => TestDeal a -> Date -> [DealStats] -> Either String [ResultComponent]Hastructure Deal.DealAction No documentation available.
inspectVars :: Asset a => TestDeal a -> Date -> DealStats -> Either String ResultComponentHastructure Deal.DealAction No documentation available.
insertVar :: (a -> STW ()) -> a -> STW ()RefSerialize Data.RefSerialize insert a variable at this position. The expression value is inserted in the "where" section if it is not already created. If the address of this object being parsed correspond with an address already parsed and it is in the where section, then the same variable name is used runW showp (1::Int) -> "1" runW (insertVar showp) (1::Int) -> v1 where { v1=1} runW (insertVar showp) [(1::Int) ,1] -> [v1.v1] where { v1=1} This is useful when the object is referenced many times
getVariableFlow :: Parameters -> Token -> [StackData]ShellCheck ShellCheck.AnalyzerLib No documentation available.