PlusLevel' (definition) in projects: dports

Searched defs:PlusLevel (Results 1 – 8 of 8) sorted by relevance

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/fourmolu-0.3.0.0/data/examples/declaration/data/
H A D	with-weird-haddock.hs	`1 data PlusLevel' t = Plus Integer (LevelAtom' t) -- ^ @n + ℓ@. type`
H A D	with-weird-haddock-out.hs	`1 data PlusLevel' t type`
H A D	with-weird-haddock-four-out.hs	`1 data PlusLevel' t type`
/dports/devel/hs-ormolu/ormolu-0.4.0.0/data/examples/declaration/data/
H A D	with-weird-haddock.hs	`1 data PlusLevel' t = Plus Integer (LevelAtom' t) -- ^ @n + ℓ@. function`
H A D	with-weird-haddock-out.hs	`1 data PlusLevel' t type`
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ormolu-0.1.4.1/data/examples/declaration/data/
H A D	with-weird-haddock.hs	`1 data PlusLevel' t = Plus Integer (LevelAtom' t) -- ^ @n + ℓ@. function`
H A D	with-weird-haddock-out.hs	`1 data PlusLevel' t type`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A D	Internal.hs	`321 data PlusLevel' t = Plus Integer t function 324 type PlusLevel = PlusLevel' Term type`