<$> | |
1 (Type/Class) | Type.Family.List |
2 (Type/Class) | Type.Family.Maybe |
3 (Type/Class) | Type.Family.Pair |
<&> | |
1 (Type/Class) | Type.Family.List |
2 (Type/Class) | Type.Family.Maybe |
3 (Type/Class) | Type.Family.Pair |
<*> | |
1 (Type/Class) | Type.Family.List |
2 (Type/Class) | Type.Family.Maybe |
3 (Type/Class) | Type.Family.Pair |
<-$ | Type.Class.Witness |
<-> | |
1 (Type/Class) | Type.Class.Witness |
2 (Function) | Type.Class.Witness |
<= | Data.Type.Fin |
<> | Type.Family.Monoid |
<?> | Type.Class.Witness |
<|> | Type.Family.Maybe |