Safe Haskell	Safe-Inferred
Language	GHC2021

U.Codebase.Decl

Contents

Hashing stuff

Synopsis

type ConstructorId = Word64
data DeclType
- = Data
- | Effect
type Decl v = DeclR TypeRef v
type HashableDecl v = DeclR HashableTypeRef v
type TypeRef = Reference' Text (Maybe Hash)
type HashableTypeRef = Reference' Text Hash
type Type v = TypeR TypeRef v
type HashableType v = TypeR HashableTypeRef v
data Modifier
- = Structural
- | Unique Text
data DeclR r v = DataDeclaration {
- declType :: DeclType
- modifier :: Modifier
- bound :: [v]
- constructorTypes :: [TypeR r v]
}
allVars :: Ord v => DeclR r v -> Set v
vmap :: Ord v' => (v -> v') -> DeclR r v -> DeclR r v'
rmap :: Ord v => (r -> r') -> DeclR r v -> DeclR r' v
dependencies :: (Ord r, Ord v) => DeclR r v -> Set r
data V v
- = Bound v
- | Ctor Int
data F a
- = Type (FD a)
- | LetRec [a] a
- | Constructors [a]
- | Modified DeclType Modifier a
unhashComponent :: forall v extra. Var v => Hash -> (Id -> v) -> Map Id (Decl v, extra) -> Map Id (v, HashableDecl v, extra)

Documentation

type ConstructorId = Word64 Source #

data DeclType Source #

Constructors

Data
Effect

Instances

Instances details

Enum DeclType Source #
Instance details Defined in U.Codebase.Decl Methods succ :: DeclType -> DeclType # pred :: DeclType -> DeclType # toEnum :: Int -> DeclType # fromEnum :: DeclType -> Int # enumFrom :: DeclType -> [DeclType] # enumFromThen :: DeclType -> DeclType -> [DeclType] # enumFromTo :: DeclType -> DeclType -> [DeclType] # enumFromThenTo :: DeclType -> DeclType -> DeclType -> [DeclType] #
Show DeclType Source #
Instance details Defined in U.Codebase.Decl Methods showsPrec :: Int -> DeclType -> ShowS # show :: DeclType -> String # showList :: [DeclType] -> ShowS #
Eq DeclType Source #
Instance details Defined in U.Codebase.Decl Methods (==) :: DeclType -> DeclType -> Bool # (/=) :: DeclType -> DeclType -> Bool #
Ord DeclType Source #
Instance details Defined in U.Codebase.Decl Methods compare :: DeclType -> DeclType -> Ordering # (<) :: DeclType -> DeclType -> Bool # (<=) :: DeclType -> DeclType -> Bool # (>) :: DeclType -> DeclType -> Bool # (>=) :: DeclType -> DeclType -> Bool # max :: DeclType -> DeclType -> DeclType # min :: DeclType -> DeclType -> DeclType #

type Decl v = DeclR TypeRef v Source #

type HashableDecl v = DeclR HashableTypeRef v Source #

type TypeRef = Reference' Text (Maybe Hash) Source #

type HashableTypeRef = Reference' Text Hash Source #

type Type v = TypeR TypeRef v Source #

type HashableType v = TypeR HashableTypeRef v Source #

data Modifier Source #

Constructors

Structural
Unique Text

Instances

Instances details

Show Modifier Source #
Instance details Defined in U.Codebase.Decl Methods showsPrec :: Int -> Modifier -> ShowS # show :: Modifier -> String # showList :: [Modifier] -> ShowS #
Eq Modifier Source #
Instance details Defined in U.Codebase.Decl Methods (==) :: Modifier -> Modifier -> Bool # (/=) :: Modifier -> Modifier -> Bool #
Ord Modifier Source #
Instance details Defined in U.Codebase.Decl Methods compare :: Modifier -> Modifier -> Ordering # (<) :: Modifier -> Modifier -> Bool # (<=) :: Modifier -> Modifier -> Bool # (>) :: Modifier -> Modifier -> Bool # (>=) :: Modifier -> Modifier -> Bool # max :: Modifier -> Modifier -> Modifier # min :: Modifier -> Modifier -> Modifier #

data DeclR r v Source #

Constructors

DataDeclaration
Fields declType :: DeclType modifier :: Modifier bound :: [v] constructorTypes :: [TypeR r v]

Instances

Instances details

(Show v, Show r) => Show (DeclR r v) Source #
Instance details Defined in U.Codebase.Decl Methods showsPrec :: Int -> DeclR r v -> ShowS # show :: DeclR r v -> String # showList :: [DeclR r v] -> ShowS #

allVars :: Ord v => DeclR r v -> Set v Source #

vmap :: Ord v' => (v -> v') -> DeclR r v -> DeclR r v' Source #

rmap :: Ord v => (r -> r') -> DeclR r v -> DeclR r' v Source #

Hashing stuff

dependencies :: (Ord r, Ord v) => DeclR r v -> Set r Source #

data V v Source #

Constructors

Bound v
Ctor Int

data F a Source #

Constructors

Type (FD a)
LetRec [a] a
Constructors [a]
Modified DeclType Modifier a

Instances

Instances details

Foldable F Source #
Instance details Defined in U.Codebase.Decl Methods fold :: Monoid m => F m -> m # foldMap :: Monoid m => (a -> m) -> F a -> m # foldMap' :: Monoid m => (a -> m) -> F a -> m # foldr :: (a -> b -> b) -> b -> F a -> b # foldr' :: (a -> b -> b) -> b -> F a -> b # foldl :: (b -> a -> b) -> b -> F a -> b # foldl' :: (b -> a -> b) -> b -> F a -> b # foldr1 :: (a -> a -> a) -> F a -> a # foldl1 :: (a -> a -> a) -> F a -> a # toList :: F a -> [a] # null :: F a -> Bool # length :: F a -> Int # elem :: Eq a => a -> F a -> Bool # maximum :: Ord a => F a -> a # minimum :: Ord a => F a -> a # sum :: Num a => F a -> a # product :: Num a => F a -> a #
Functor F Source #
Instance details Defined in U.Codebase.Decl Methods fmap :: (a -> b) -> F a -> F b # (<$) :: a -> F b -> F a #
Show a => Show (F a) Source #
Instance details Defined in U.Codebase.Decl Methods showsPrec :: Int -> F a -> ShowS # show :: F a -> String # showList :: [F a] -> ShowS #

unhashComponent Source #

Arguments

:: forall v extra. Var v
=> Hash
-> (Id -> v)	A function to convert a reference to a variable. The actual var names aren't important.
-> Map Id (Decl v, extra)
-> Map Id (v, HashableDecl v, extra)	The component with all self-references replaced with variable references.

Given the pieces of a single decl component, replaces all Nothing self-referential hashes with a variable reference to the relevant piece of the component in the component map.