Hoogle Search
Within LTS Haskell 24.58 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
isInfixOf :: Eq a => [a] -> [a] -> BoolCabal-syntax Distribution.Utils.Generic No documentation available.
PostfixOperators :: KnownExtensionCabal-syntax Language.Haskell.Extension Relax the interpretation of left operator sections to allow unary postfix operators.
type
BlockMatrix height width = BlockArray (height, width)comfort-array Data.Array.Comfort.Storable.Dim2 No documentation available.
-
comfort-array Data.Array.Comfort.Storable.Dim2 :{QC.forAll genArray2 $ blockA1 -> QC.forAll genArray2 $ blockB3 -> QC.forAll (liftA2 (char0 char1 -> Shape.Range (min char0 char1) (max char0 char1)) (QC.choose (a,k)) (QC.choose (a,k))) $ shapeC1 -> let shapeR0 = fst $ Array.shape blockA1 in let shapeC0 = snd $ Array.shape blockA1 in let shapeR1 = fst $ Array.shape blockB3 in let shapeC2 = snd $ Array.shape blockB3 in QC.forAll (genArrayForShape (shapeR0, shapeC1)) $ blockA2 -> QC.forAll (genArrayForShape (shapeR0, shapeC2)) $ blockA3 -> QC.forAll (genArrayForShape (shapeR1, shapeC0)) $ blockB1 -> QC.forAll (genArrayForShape (shapeR1, shapeC1)) $ blockB2 -> Array2.fromBlockMatrix (blockA1 &||| Array2.beside blockA2 blockA3 &=== blockB1 &||| blockB2 &||| blockB3) QC.=== Array.reshape (shapeR0::+shapeR1, shapeC0::+shapeC1::+shapeC2) (Array2.fromBlocks (shapeR0::+shapeR1::+Shape.Zero) (shapeC0::+shapeC1::+shapeC2::+Shape.Zero) Proxy blockA1 blockA2 blockA3 blockB1 blockB2 blockB3) :}:{QC.forAll (liftA2 (char0 char1 -> Shape.Range (min char0 char1) (max char0 char1)) (QC.choose (a,k)) (QC.choose (a,k))) $ shapeR0 -> QC.forAll (liftA2 Shape.Shifted (QC.choose (-10,10)) (QC.choose (0,10::Int))) $ shapeR1 -> let shapeR2 = () in QC.forAll (fmap Shape.ZeroBased (QC.choose (0,10::Int))) $ shapeC0 -> QC.forAll (fmap Shape.OneBased (QC.choose (0,10::Int))) $ shapeC1 -> let shapeC2 :: Shape.Enumeration Ordering shapeC2 = Shape.Enumeration in QC.forAll (genArrayForShape (shapeR0, shapeC0)) $ blockA1 -> QC.forAll (genArrayForShape (shapeR0, shapeC1)) $ blockA2 -> QC.forAll (genArrayForShape (shapeR0, shapeC2)) $ blockA3 -> QC.forAll (genArrayForShape (shapeR1, shapeC0)) $ blockB1 -> QC.forAll (genArrayForShape (shapeR1, shapeC1)) $ blockB2 -> QC.forAll (genArrayForShape (shapeR1, shapeC2)) $ blockB3 -> QC.forAll (genArrayForShape (shapeR2, shapeC0)) $ blockC1 -> QC.forAll (genArrayForShape (shapeR2, shapeC1)) $ blockC2 -> QC.forAll (genArrayForShape (shapeR2, shapeC2)) $ blockC3 -> Array2.fromBlockMatrix (blockA1 &||| blockA2 &||| blockA3 &=== blockB1 &||| blockB2 &||| blockB3 &=== blockC1 &||| blockC2 &||| blockC3) QC.=== Array2.beside (Array2.above blockA1 $ Array2.above blockB1 blockC1) (Array2.above (Array2.beside blockA2 blockA3) (Array2.beside (Array2.above blockB2 blockC2) (Array2.above blockB3 blockC3))) :} Format_UnixSecond :: TimeFormatElemhourglass Data.Hourglass number of seconds since 1 jan 1970. unix epoch.
-
hourglass Data.Hourglass.Epoch Unix Epoch, starting 1st January 1970
-
hourglass Data.Hourglass.Epoch No documentation available.
epochDiffToUnix :: Epoch epoch => epoch -> Secondshourglass Data.Hourglass.Epoch number of seconds of difference with 1st January 1970. a negative number means that this epoch start before the unix epoch.
dateFromPOSIXEpoch :: Integer -> Datehourglass Time.Compat Convert an integer which represent the Number of days (To/From) POSIX Epoch to a Date (POSIX Epoch is 1970-01-01).
collectPrefixUriPairs :: LA XmlTree (String, String)hxt Text.XML.HXT.Arrow.Namespace collect all (namePrefix, namespaceUri) pairs from a tree all qualified names are inspected, whether a namespace uri is defined, for these uris the prefix and uri is returned. This arrow is useful for namespace cleanup, e.g. for documents generated with XSLT. It can be used together with collectNamespaceDecl to cleanupNamespaces