Home
last modified time | relevance | path

Searched refs:toLazy (Results 151 – 160 of 160) sorted by relevance

1234567

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/lens-5.0.1/src/Control/Lens/
H A DIso.hs433 strict = iso toStrict toLazy
458 lazy = iso toLazy toStrict
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/
H A DTrie.hs134 lookup [] (Trie v _) = Strict.toLazy v
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/deque-0.4.3/test/
H A DMain.hs38 Strict.toLazy strictDeque === lazyDeque
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Parser/
H A DMonad.hs326 parseFromSrc flags st p src input = unP p (initState (Strict.toLazy src) flags input st)
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A DCommon.hs149 icod_ m = icode (Strict.toLazy m)
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/
H A DFromAbstract.hs459 ((Strict.toLazy . P.srcFile) <=< (P.rStart . A.nameBindingSite)) xs of
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs475 f (Strict.toLazy $ stPreGeneralizedVars (stPreScopeState s)) <&>
516 f (Strict.toLazy $ stPreWarningOnImport (stPreScopeState s)) <&>
537 f (Strict.toLazy $ stPersistLoadedFileCache (stPersistentState s)) <&>
622 f (Strict.toLazy $ stPostCurrentModule (stPostScopeState s)) <&>
/dports/textproc/hs-pandoc/pandoc-2.14.2/src/Text/Pandoc/Writers/
H A DDocx.hs202 let toImageEntry (_,path,_,img) = toEntry ("word/" ++ path) epochtime $ toLazy img
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/pandoc-2.11.4/src/Text/Pandoc/Writers/
H A DDocx.hs309 let toImageEntry (_,path,_,img) = toEntry ("word/" ++ path) epochtime $ toLazy img
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/
H A DInternalToAbstract.hs694 Just . (,Strict.toLazy sys) . size <$> lookupSection m

1234567