a -package:leancheck

a :: Html -> Html

blaze-html Text.Blaze.Html4.FrameSet Text.Blaze.Html4.Strict Text.Blaze.Html4.Transitional Text.Blaze.Html5 Text.Blaze.XHtml1.FrameSet Text.Blaze.XHtml1.Strict Text.Blaze.XHtml1.Transitional Text.Blaze.XHtml5

Combinator for the <a> element. Example:

a $ span $ toHtml "foo"

Result:

<a><span>foo</span></a>

a :: Fractional a => Chromaticity a

colour Data.Colour.CIE.Illuminant

Incandescent / Tungsten

a :: Gr Char ()

fgl Data.Graph.Inductive.Example

a :: Show a => a -> a -> a -> Bool -> Bool -> a -> a -> Path

blaze-svg Text.Blaze.Svg.Internal

Elliptical Arc (absolute). This is the internal definition for absolute arcs. It is not exported but instead exported as aa due to naming conflicts with a.

a :: Svg -> Svg

blaze-svg Text.Blaze.Svg11

Combinator for the <a> element.

a :: Expr

simple-reflect Debug.SimpleReflect.Vars

a :: Bool -> Bool -> PBool

probability Numeric.Probability.Example.Alarm

conditional probability of alarm given burglary and earthquake

a :: RuntimeTerm

rest-rewrite DSL

a :: Switch -> U64

rattletrap Rattletrap.Type.RemoteId.Switch

a :: ToElem a => a -> Perch

ghcjs-perch GHCJS.Perch

newtype A

QuickCheck Test.QuickCheck.Poly

A :: Integer -> A

QuickCheck Test.QuickCheck.Poly

newtype A f a b

optparse-applicative Options.Applicative.Arrows

For any Applicative functor f, A f is the Arrow instance associated to f. The A constructor can be used to convert a value of type f (a -> b) into an arrow.

A :: f (a -> b) -> A f a b

optparse-applicative Options.Applicative.Arrows

pattern A :: TYPE

dns Network.DNS.Types

IPv4 address

A :: E

sbv Documentation.SBV.Examples.Misc.Enumerate Documentation.SBV.Examples.Misc.FirstOrderLogic

type A = AppS Integer

sbv Documentation.SBV.Examples.WeakestPreconditions.Append

Helper type synonym

A :: VariableKind

Agda Agda.Compiler.MAlonzo.Misc