dereference | Bricks.Term |
Dict | |
1 (Type/Class) | Bricks |
2 (Data Constructor) | Bricks |
dict'bindings | Bricks |
dict'discardSource | Bricks |
dict'rec | Bricks |
dict'source | Bricks |
dict'to'term | Bricks.ExpressionToTerm |
DictBinding | Bricks |
dictBinding'discardSource | Bricks |
DictBinding'Eq | Bricks |
DictBinding'Inherit'Dict | Bricks |
DictBinding'Inherit'Var | Bricks |
DictPattern | |
1 (Type/Class) | Bricks |
2 (Data Constructor) | Bricks |
DictPattern'1 | |
1 (Data Constructor) | Bricks |
2 (Type/Class) | Bricks |
dictPattern'1'default | Bricks |
dictPattern'1'discardSource | Bricks |
dictPattern'1'name | Bricks |
dictPattern'defaults | Bricks.ExpressionToTerm |
dictPattern'discardSource | Bricks |
dictPattern'ellipsis | Bricks |
dictPattern'items | Bricks |
dictPattern'names | Bricks.ExpressionToTerm |
displayBottom | Bricks.Term |
does'termPattern'bind | Bricks.Evaluation |
Dot | |
1 (Type/Class) | Bricks |
2 (Data Constructor) | Bricks |
dot'dict | Bricks |
dot'discardSource | Bricks |
dot'key | Bricks |
dot'source | Bricks |
dot'to'term | Bricks.ExpressionToTerm |